let count count_fun c item =
if !L.level > 2 then count_fun C.start c item else c
-let flush () = L.flush (); L.flush_err ()
+let flush () = L.flush 0; L.flush_err ()
let bag_error s msg =
L.error BagO.specs (L.Warn s :: msg); flush ()
let help_i = " show local references by index" in
let help_m = "<file> output intermediate representation" in
let help_s = "<number> Set translation stage" in
- L.box (); L.box_err ();
+ L.box 0; L.box_err ();
H.set_new_sorts ignore ["Set"; "Prop"];
Arg.parse [
("-S", Arg.Int set_summary, help_S);