and parg indent =
let module Con = Content in
function
- Con.Aux n -> prerr_endline ((blanks (indent+1)) ^ (string_of_int n));flush stderr
+ Con.Aux n -> prerr_endline ((blanks (indent+1)) ^ n);flush stderr
| Con.Premise prem -> prerr_endline ((blanks (indent+1)) ^ "Premise");flush stderr
| Con.Term t ->
prerr_endline ((blanks (indent+1)) ^ (CicPp.ppterm (Deannotate.deannotate_term t)));