drivers: empty theories and modules are allowed

parent 00b0d570
......@@ -70,7 +70,7 @@ global:
| INPUT { assert false }
theory:
| THEORY loc(tqualid) loc(trule)+ END
| THEORY loc(tqualid) list(loc(trule)) END
{ { thr_name = $2; thr_rules = $3 } }
trule:
......@@ -181,7 +181,7 @@ global_extract:
| BLACKLIST STRING+ { EBlacklist $2 }
module_:
| MODULE loc(tqualid) nonempty_list(loc(mrule)) END
| MODULE loc(tqualid) list(loc(mrule)) END
{ { mor_name = $2; mor_rules = $3 } }
mrule:
......
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