Revision f69e7ea2
Added by Lélio Brun about 2 years ago
| 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
add -O -1 flag to disable fusion of conditionals