Commit 2f978a5f authored by Simon Cruanes's avatar Simon Cruanes
Browse files

corrected small error in tptp2why parser

parent eb78f282
......@@ -59,9 +59,13 @@ decl_type:
| x=lident
{ match x with
| "axiom" -> Axiom
| "hypothesis" -> Axiom
| "assumption" -> Axiom
| "definition" -> Axiom
| "conjecture" -> Conjecture
| "negated_conjecture" -> NegatedConjecture
| "lemma" -> Lemma
| "theorem" -> Lemma
| _ -> raise Error }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment