X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fprobe%2Foptions.ml;h=d84d2b3e11c9343dbddb76b0e15af2609bb29f74;hb=9722a8d7b63e62f2b5b00de008304485371f7bf6;hp=655539d142596aa7089a8f4d37548db03c1d4639;hpb=c62bc0725203409f99fd10eaf0b670a406e311b3;p=helm.git

diff --git a/matita/components/binaries/probe/options.ml b/matita/components/binaries/probe/options.ml
index 655539d14..d84d2b3e1 100644
--- 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