From 45af5934d979d71a99a119cc0f94f0e0908303c8 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 16 Feb 2004 09:43:25 +0000 Subject: [PATCH] use BoxPp --- helm/ocaml/cic_disambiguation/test_parser.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/ocaml/cic_disambiguation/test_parser.ml b/helm/ocaml/cic_disambiguation/test_parser.ml index 581b8d3e4..911e278ec 100644 --- 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 -- 2.39.2