Skip to content
  • Erwan Jahier's avatar
    lurette 0.66 Thu, 16 May 2002 10:54:38 +0200 by jahier · 66e00627
    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