From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 16 Feb 2004 09:43:25 +0000 (+0000)
Subject: use BoxPp
X-Git-Tag: v0_0_4~198
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=45af5934d979d71a99a119cc0f94f0e0908303c8;p=helm.git

use BoxPp
---

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