Standardize running code in a single function, include prelude.sh.

[goals.git] / src / main.ml

diff --git a/src/main.ml b/src/main.ml
index 6421aa8..df4fb43 100644 (file)
--- a/src/main.ml
+++ b/src/main.ml
@@ -31,7 +31,7 @@ let main () =
   (* Parse the prelude. *)
   let env =
     if Cmdline.use_prelude then
-      Parse.parse_goalfile Ast.Env.empty Cmdline.prelude_file
+      Parse.parse_goalfile Ast.Env.empty Cmdline.prelude_gl_file
     else
       Ast.Env.empty in