fixing major typo

stepchowfun · Jul 2, 2014 · eeae01c · eeae01c
1 parent 48f0681
commit eeae01c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/language.py b/language.py
@@ -390,7 +390,7 @@ def freeUnificationTerms(self):
   def replace(self, old, new):
     if self == old:
       return new
-    return ForAll(
+    return ThereExists(
       self.variable.replace(old, new),
       self.formula.replace(old, new)
     )