]> matita.cs.unibo.it Git - helm.git/blob - components/binaries/mac/options.ml
made executable again
[helm.git] / 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