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