X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fcmdline.mli;h=cb6265d68b5ff13576b7ba3004e895f2ba03ae55;hb=7b7cd85810f18286a36215cc164b659bf7db142c;hp=e9ab8f1125e247975413df51fa8eca6e993df67f;hpb=6afdc65fcdb592dccb751849f65b1f482ef97cd6;p=goals.git

diff --git a/src/cmdline.mli b/src/cmdline.mli
index e9ab8f1..cb6265d 100644
--- a/src/cmdline.mli
+++ b/src/cmdline.mli
@@ -27,6 +27,13 @@ val input_file : string
 (** Get the name of the input Goalfile.
     This is an absolute path. *)
 
+val debug : ('a, unit, string, unit) format4 -> 'a
+(** If debugging is enabled (-d option) then print the formatted
+    output.  If debugging was not enabled then nothing is printed. *)
+
+val debug_flag : bool
+(** If debugging is enabled. *)
+
 val directory : string
 (** Get the name of working directory (-C option). *)