X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Ftest_parser.ml;h=581b8d3e401c13f9952577d39f1872eb051952f7;hb=b38de2d3fa8bbe346c59c18bbeb889f29e493f63;hp=a3bba5a5a9b4bf74207a562ab288fdbd976c56bf;hpb=6459acbd4bb69475cfaa0b37a9771ced94193667;p=helm.git

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