-
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