use BoxPp

diff --git a/helm/ocaml/cic_disambiguation/test_parser.ml b/helm/ocaml/cic_disambiguation/test_parser.ml
index 581b8d3e401c13f9952577d39f1872eb051952f7..911e278ecb43c49e728e25465a62994089e7dfc9 100644 (file)
--- a/helm/ocaml/cic_disambiguation/test_parser.ml
+++ b/helm/ocaml/cic_disambiguation/test_parser.ml
@@ -40,7 +40,8 @@ let _ =
     | `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