extraction: no need for type ocaml.Ocaml.integer

parent 2ce68bbb
......@@ -47,6 +47,4 @@ module OCaml
type int63 = Int63.int63
type integer = int
end
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