Commit 9c0ffb65 authored by Armaël Guéneau's avatar Armaël Guéneau

Remove hardcoded reference to STDLIB in generator/characteristic.ml

parent d6344aaa
......@@ -877,7 +877,7 @@ let rec cfg_exp env e =
in
let ts = coq_apps (Coq_var "Coq.Init.Datatypes.list") [targ] in
let tr = coq_typ loc e in (* 'a array *)
let func = Coq_var "STDLIB.Array_ml.of_list" in
let func = Coq_var "Array_ml.of_list" in
Cf_app ([ts], tr, func, [arg])
| Texp_field (arg, p, lbl) ->
......
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