Commit 8070b7a1 authored by POTTIER Francois's avatar POTTIER Francois

Removed a runtime check in [KitEquiv].

parent c5cbb050
......@@ -26,7 +26,6 @@ let lookup (m : m) (x : Atom.t) : status =
Free
let extend (m : m) (n : int) (x : Atom.t) : m =
assert (not (Atom.Map.mem x m));
Atom.Map.add x n m
let extend x1 x2 (m1, m2, n) =
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment