Commit f8066a05 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Avoid an assertion failure on non-executable code.

parent d31c4a1e
......@@ -248,7 +248,7 @@ let big_int_of_const c =
let big_int_of_value v =
match v with
| Vnum i -> i
| _ -> assert false
| _ -> raise NotNum
let eval_true _ls _l = Vbool true
......
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