Project

General

Profile

« Previous | Next » 

Revision f69e7ea2

Added by LĂ©lio Brun about 2 years ago

add -O -1 flag to disable fusion of conditionals

View differences:

src/options.ml
65 65

  
66 66
(* Printer options *)
67 67
let kind2_print = ref false
68
                    
69
                  
68

  
70 69
(* Local Variables: *)
71 70
(* compile-command:"make -C .." *)
72 71
(* End: *)

Also available in: Unified diff