From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 9 Feb 2004 09:42:02 +0000 (+0000)
Subject: use CicAstPp
X-Git-Tag: V_0_2_3~3
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a73d3f9cd6bda37cfb538e9fdf66f905a01d8e37;p=helm.git

use CicAstPp
---

diff --git a/helm/ocaml/cic_disambiguation/test_parser.ml b/helm/ocaml/cic_disambiguation/test_parser.ml
index a3bba5a5a..581b8d3e4 100644
--- a/helm/ocaml/cic_disambiguation/test_parser.ml
+++ b/helm/ocaml/cic_disambiguation/test_parser.ml
@@ -40,7 +40,7 @@ let _ =
     | `Term ->
         let term = CicTextualParser2.parse_term (Stream.of_channel ic) in
         close_in ic;
-        print_endline (CicTextualParser2Pp.pp_term term)
+        print_endline (CicAstPp.pp_term term)
     | `Alias ->
         while true do
           let line = input_line ic in