- Switched to the new consistency checking base.

2005-10-08 20:47:31 +00:00 · 2005-10-08 20:47:31 +00:00 · 9f8f04c41c
commit 9f8f04c41c
parent 2ead7ab2ff
1 changed files with 1 additions and 1 deletions
--- 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)
 	{