X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fcmdline.mli;h=aed4e8bab32469a1a2efcc7c9518b441ee3c6ff6;hb=881b2e9b7bad0da8f44418e9e6558710db5ce690;hp=cb6265d68b5ff13576b7ba3004e895f2ba03ae55;hpb=3a94d620b1c135342c9f88ae943f256b9a9f96c9;p=goals.git

diff --git a/src/cmdline.mli b/src/cmdline.mli
index cb6265d..aed4e8b 100644
--- a/src/cmdline.mli
+++ b/src/cmdline.mli
@@ -20,9 +20,12 @@
 val stdlibdir : string
 (** Get the stdlib directory. *)
 
-val prelude_file : string
+val prelude_gl_file : string
 (** Get the absolute path of the prelude.gl file. *)
 
+val prelude_sh_file : string
+(** Get the absolute path of the prelude.sh file. *)
+
 val input_file : string
 (** Get the name of the input Goalfile.
     This is an absolute path. *)