diff options
Diffstat (limited to 'src/interp/fnewmeta.lisp')
-rw-r--r-- | src/interp/fnewmeta.lisp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/fnewmeta.lisp b/src/interp/fnewmeta.lisp index e6af7e4c..b4b3b789 100644 --- a/src/interp/fnewmeta.lisp +++ b/src/interp/fnewmeta.lisp @@ -481,7 +481,7 @@ (OR (AND (|PARSE-Quantifier|) (MUST (|PARSE-QuantifiedVariableList|)) (MUST (MATCH-ADVANCE-STRING ".")) - (MUST (|PARSE-Application|)) + (MUST (|PARSE-Expr| 200)) (MUST (PUSH-REDUCTION '|PARSE-Forall| (CONS (POP-STACK-3) (CONS (POP-STACK-2) |