-
POTTIER Francois authored
This makes almost no difference: it saves 5 nodes out of 25K in the stars, and saves 10K facts out of 7M facts (on ocaml.mly --lalr).
6f1aaa4e
This makes almost no difference: it saves 5 nodes out of 25K in the stars, and saves 10K facts out of 7M facts (on ocaml.mly --lalr).