-
Erwan Jahier authored
Parent-Version: 0.65 Version-Log: solver.ml: Fix a bug is draw_in_bdd where it was unable to draw in a true formula when it was a top level one. The reason was that the tossing of remaining vars was not done at draw_in_bdd top level, which is wrong since true can appear on ima transitions. Project-Description: Lurette
66e00627