Project

General

Profile

« Previous | Next » 

Revision 2fdbc781

Added by Pierre-Loïc Garoche about 5 years ago

Cleaning output:
- no more classic display for ocamlc
- compilation warnings removed

View differences:

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