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)
 	{