Uncaught exception during conflict explanation
This grammar causes Not_found to be raised during conflict explanation.
Possibly a simple oversight: in the test if List.mem prod (TerminalMap.lookup tok reductions1) then, the case where tok is not present in at all in the map is apparently not handled.
(Reported by Joe.)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information