Preludes from extra drivers are not ignored anymore.

This closes isse #179

Preludes from extra drivers are not ignored anymore.
This closes isse #179
a22212ec · Mário Pereira · 03735a10 · a22212ec
Commit a22212ec authored Oct 10, 2018 by Mário Pereira
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

src/mlw/pdriver.ml src/mlw/pdriver.ml +2 -1

No files found.
--- a/src/mlw/pdriver.ml
+++ b/src/mlw/pdriver.ml
@@ -220,7 +220,8 @@ let load_driver env file extra_files =
  List.iter (fun f ->
    let fe = load_file f in
    List.iter add_theory fe.fe_th_rules;
-    List.iter add_module fe.fe_mo_rules)
+    List.iter add_module fe.fe_mo_rules;
+    List.iter add_global fe.fe_global)
    extra_files;
  {
    drv_env         = env;