Commit ca60b10b authored by Andrei Paskevich's avatar Andrei Paskevich

brown paper bag bug fix

parent 1ad10d0f
......@@ -404,6 +404,7 @@ let mod_prelude =
let create_module env ?(path=[]) n =
let m = empty_module env n path in
let m = use_export_theory m builtin_theory in
let m = use_export_theory m bool_theory in
let m = use_export_theory m unit_theory in
let m = use_export m (mod_prelude env) in
......
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