Commit ef816e6a authored by POTTIER Francois's avatar POTTIER Francois

Remove a needless [Obj.magic] in [Printers].

parent 1b616dc2
......@@ -102,7 +102,7 @@ module Make
print "<some initial state>";
print newline
| General.Cons (Element (current, _, _, _), _) ->
print (string_of_int (Obj.magic current)); (* TEMPORARY safe conversion needed *)
print (string_of_int (number current));
print newline;
List.iter print_item (items current)
......@@ -112,4 +112,3 @@ module Make
print newline
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment