Moved MyMap to the attic, as it is not used.

I used it in the branch bitset, which turns out to be incorrect (I think).

Moved MyMap to the attic, as it is not used.
I used it in the branch bitset, which turns out to be incorrect (I think).
d346dfd2 · POTTIER Francois · 4f4a9807 · d346dfd2 · d346dfd2
Commit d346dfd2 authored Nov 23, 2015 by POTTIER Francois
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 0 deletions

src/attic/MyMap.ml src/attic/MyMap.ml +0 -0

src/attic/MyMap.mli src/attic/MyMap.mli +0 -0

No files found.
--- a/src/MyMap.ml
+++ b/src/MyMap.ml
--- a/src/MyMap.mli
+++ b/src/MyMap.mli