extraction: Not_found is not from OCaml's Pervasives

parent 934d77c7
......@@ -349,7 +349,7 @@ end
module ocaml.Pervasives
syntax exception Exit "Pervasives.Exit"
syntax exception Not_found "Pervasives.Not_found"
syntax exception Not_found "Not_found"
syntax val ocaml_assert "assert (%1)"
......@@ -41,6 +41,7 @@ module OCaml
use export list.List
use export seq.Seq
use export seq.OfList
use export Pervasives
use Sys
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