command line options rearranged

[helm.git] / helm / software / helena / src / common / options.ml

diff --git a/helm/software/helena/src/common/options.ml b/helm/software/helena/src/common/options.ml
index ffef0796ee9292150124e438027f16fe467a00ac..89a085e5e9c3d414217f91c848c2f0cb24e73bfc 100644 (file)
--- a/helm/software/helena/src/common/options.ml
+++ b/helm/software/helena/src/common/options.ml
@@ -71,6 +71,8 @@ let last = ref max_int       (* end trace here *)
 
 let extended = ref false     (* extended applications *) 
 
+let short = ref false        (* short global constants *) 
+
 let set_current_trace n =
    ct := if !first <= n && n <= !last then !trace else 0
 
@@ -94,6 +96,6 @@ let get_mk_uri () =
 let clear () =
    stage := 3; trace := 0; summary := false; first := 0; last := max_int;
    xdir := ""; kernel := V3; si := false; extended := false; cover := ""; 
-   expand := false; indexes := false; icm := 0; unquote := false;
+   expand := false; indexes := false; icm := 0; unquote := false; short := false;
    debug_parser := false; debug_lexer := false;
    manager_dir := ""; manager := Quiet