X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fcmdline.ml;h=927dfdf63328f52f02e2b38280dd8f6164e043a8;hb=54c8ad92025a9c77c2b10644499b3944e1299187;hp=ff71c9c98bd84b8089f3fe1cd49b58946b5e6f20;hpb=f490ee1e2c099eadd3da0876f66819192c19a3cd;p=goals.git

diff --git a/src/cmdline.ml b/src/cmdline.ml
index ff71c9c..927dfdf 100644
--- a/src/cmdline.ml
+++ b/src/cmdline.ml
@@ -41,7 +41,8 @@ let print_version () =
 
 (* Get stdlib directory. *)
 let datadir =
-  try Sys.getenv "GOALS_DATADIR" with Not_found -> Config.datadir
+  try Sys.getenv "GOALS_DATADIR"
+  with Not_found -> Config.datadir // "goals"
 let stdlibdir = datadir // "stdlib"
 let prelude_gl_file = stdlibdir // "prelude.gl"
 let prelude_sh_file = stdlibdir // "prelude.sh"