• Erwan Jahier's avatar
    lurette 0.120 Thu, 19 Dec 2002 11:15:29 +0100 by jahier · d6a175bd
    Erwan Jahier authored
    Parent-Version:      0.119
    Version-Log:
    
    source/solver.ml:
    source/rnumsolver.ml:
       replace split_store_eq by add_eq_to_store as split_store_eq
       was simply calling split store and appendind its result,
       it is simplier to just call slipt_store from solver.ml ...
    
    Project-Description: Lurette
    d6a175bd
solver.ml 29.2 KB