From 9f8f04c41cb779c0e22a652fda6646658651b50a Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 8 Oct 2005 20:47:31 +0000
Subject: [PATCH] - Switched to the new consistency checking base.

---
 src/arachne.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/arachne.c b/src/arachne.c
index c81e339..cf51cb4 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -2853,7 +2853,7 @@ prune_theorems ()
   int run;
 
   // Check all types of the local agents according to the matching type
-  if (!checkTypeLocals (sys))
+  if (!checkAllSubstitutions (sys))
     {
       if (switches.output == PROOF)
 	{