Project

General

Profile

Revision 8b87d0a5 src/options.ml

View differences:

src/options.ml
32 32
let print_reuse = ref false
33 33
let const_unfold = ref false
34 34
let mpfr = ref false
35
let mpfr_prec = ref 0
35
let mpfr_prec = ref 100
36 36
let print_dec_types = ref false
37 37

  
38 38
let traces = ref false

Also available in: Unified diff