Commit 90cfdd18 authored by David Hauzar's avatar David Hauzar

Counter-example parser emits no warning when counter-example is empty.

parent e65b8bb1
......@@ -16,7 +16,8 @@
output:
| EOF { [] }
| text_with_spaces LPAREN pairs RPAREN { $3 }
| possible_space text { [] }
| possible_space LPAREN pairs RPAREN { $3 }
pairs:
| possible_space { [] }
......@@ -47,11 +48,6 @@ text_without_int:
| CONST { "const" }
| AS { "as" }
text_with_spaces:
| { "" }
| text { $1 }
| text SPACE text_with_spaces { $1 ^ $2 ^ $3 }
value:
| integer { $1 }
| other_val_str { Model_parser.Other $1 }
......
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