- probe: now includes source character count (was: mac)

[helm.git] / matita / components / binaries / probe / options.ml

diff --git a/matita/components/binaries/probe/options.ml b/matita/components/binaries/probe/options.ml
index 655539d142596aa7089a8f4d37548db03c1d4639..d84d2b3e11c9343dbddb76b0e15af2609bb29f74 100644 (file)
--- a/matita/components/binaries/probe/options.ml
+++ b/matita/components/binaries/probe/options.ml
@@ -30,6 +30,10 @@ let default_exclude = []
 
 let default_net = 0
 
+let default_chars = 0
+
+let default_debug_lexer = false
+
 let default_no_devel = true
 
 let default_no_init = true
@@ -48,6 +52,10 @@ let exclude = ref default_exclude
 
 let net = ref default_net
 
+let chars = ref default_chars
+
+let debug_lexer = ref default_debug_lexer
+
 let no_devel = ref default_no_devel
 
 let no_init = ref default_no_init
@@ -74,4 +82,5 @@ let clear () =
    R.clear (); A.iteri clear_slot slot;
    objs := default_objs; srcs := default_srcs; remove := default_remove;
    exclude := default_exclude; net := default_net;
+   chars := default_chars; debug_lexer := default_debug_lexer;
    no_devel := default_no_devel; no_init := default_no_init