Commit 9ca46334 authored by Andrei Paskevich's avatar Andrei Paskevich

fix a glitch in the previous commit

parent 44ff1780
......@@ -774,7 +774,7 @@ module Theory = struct
let create_theory n = {
uc_name = n;
uc_ctxt = Context.create_context;
uc_import = [empty_ns];
uc_import = [builtin_theory.th_export];
uc_export = [builtin_theory.th_export];
uc_local = Sid.empty;
}
......
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