Commit 61c5990e authored by Simon Cruanes's avatar Simon Cruanes
Browse files

conflict elimination in parser

parent 609d04ff
......@@ -32,6 +32,7 @@
%token EOF
%right PIPE AND ARROW LRARROW
%nonassoc COLON
%nonassoc NOT
%start<TptpTree.decl list> tptp
......@@ -61,7 +62,8 @@ decl_type:
fmla:
| quant = quantifier LBRACKET vars = separated_nonempty_list(COMMA, variable) RBRACKET
| quant = quantifier LBRACKET vars = separated_nonempty_list(COMMA, variable)
RBRACKET
COLON f = fmla
{ FQuant (quant, vars, f) }
| LPAREN f = fmla RPAREN
......
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