fix

leanprover-community · Feb 15, 2024 · a026f4a · a026f4a
1 parent 6f6587b
commit a026f4a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Auto/Parser/TPTP.lean b/Auto/Parser/TPTP.lean
@@ -287,10 +287,10 @@ end
   <thf_atom_typing>
   <tff_atom_typing>
 -/
-def parseAtomTyping : ParserM Term := do
+partial def parseAtomTyping : ParserM Term := do
   if (← peek?) == .some (.op "(") then
     parseToken (.op "(")
-    let decl ← parseTypeDecl
+    let decl ← parseAtomTyping
     parseToken (.op ")")
     return decl
   else