-
POTTIER Francois authored
instead of in conflicts.ml. This implies that --dump-resolved has no effect if --strict is enabled and causes Menhir to stop.
4bd3c20b
instead of in conflicts.ml. This implies that --dump-resolved has no effect if --strict is enabled and causes Menhir to stop.