| `Term ->
let term = CicTextualParser2.parse_term (Stream.of_channel ic) in
close_in ic;
- print_endline (CicAstPp.pp_term term)
+(* print_endline (CicAstPp.pp_term term) *)
+ print_endline (BoxPp.pp_term term)
| `Alias ->
while true do
let line = input_line ic in