Revision 2fdbc781
Added by Pierre-Loïc Garoche about 8 years ago
| src/backends/Horn/horn_backend_printers.ml | ||
|---|---|---|
| 336 | 336 |
fix here as (not a) or b *) |
| 337 | 337 |
(pp_horn_val self (pp_horn_var m)) g |
| 338 | 338 |
tag; |
| 339 |
let rs = pp_machine_instrs machines reset_instances m fmt instrs in
|
|
| 339 |
let _ (* rs *) = pp_machine_instrs machines reset_instances m fmt instrs in
|
|
| 340 | 340 |
fprintf fmt "@])"; |
| 341 | 341 |
() (* rs *) |
| 342 | 342 |
in |
Also available in: Unified diff
Cleaning output:
- no more classic display for ocamlc
- compilation warnings removed