Commit 3609c13c authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Removed an assertion.

parent ec08a8dc
......@@ -142,11 +142,7 @@ let rec explore (symbol : Symbol.t option) (state : Item.Set.t) : node =
(* Find out whether this state was already explored. *)
let k = Hashtbl.find map state in
assert (InfiniteArray.get incoming k = symbol);
Hashtbl.find map state in
with Not_found ->
(* If not, create a new node. *)
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