• Erwan Jahier's avatar
    lurette 1.4 Wed, 24 Sep 2003 15:48:02 +0200 by jahier · 5bf375a5
    Erwan Jahier authored
    Parent-Version:      1.3
    Version-Log:
    
    source/store.ml:
    source/solver.ml:
       use map instead as hashtbl for the range base store.
       It is much less error-prone (evil side effect!),
       leads to clearer code (no need to copy the store, which was particularly
       bad when done outside that module...), and is as efficient.
    
    Project-Description: Lurette
    5bf375a5
xlurette_glade_main.ml 43.9 KB