matita/components/binaries/mac/options.ml

   1 let debug_lexer_default = false
   2
   3 let count_default = 0
   4
   5 let debug_lexer = ref debug_lexer_default
   6
   7 let count = ref count_default
   8
   9 let clear () =
  10    debug_lexer := debug_lexer_default;
  11    count := count_default