Changeset 3020 for driver/options.mli

Timestamp:

Mar 28, 2013, 5:28:48 PM (7 years ago)

Author:

sacerdot

Message:

• Options not used removed from the help/interface.
• More compliance with the untrusted prototype.

File:

• driver/options.mli (modified) (4 diffs)

driver/options.mli

@@ -11 +11 @@
 *)
 
+(*
 (** {2 Interpretation request} *)
 val request_interpretation   : bool -> unit
 val interpretation_requested : unit -> bool
+*)
 
 (** {2 Interpretation requests} *)
@@ -23 +25 @@
 val annotation_requested : unit -> bool
 
+(*
 (** {2 Input files} *)
 val add_input_file : string -> unit
 val input_files    : unit -> string list
+*)
 
 (** {2 Output files} *)
@@ -31 +35 @@
 val get_output_files : unit -> string option
 
+(*
 (** {2 Verbose mode} *)
 val is_debug_enabled : unit -> bool
+*)
 
+(*
 (** {2 Assembly pretty print} *)
 val set_asm_pretty : bool -> unit
 val is_asm_pretty  : unit -> bool
+*)
 
 (** {2 Lustre file} *)
@@ -71 +79 @@
 *)
 
+(*
 (** {2 Developers' playground} *)
 val is_dev_test_enabled : unit -> bool
+*)
 
+(*
 (** {2 Web application} *)
 val set_web_mode : unit -> unit
 val is_web_mode  : unit -> bool
+*)