use CicAstPp

diff --git a/helm/ocaml/cic_disambiguation/test_parser.ml b/helm/ocaml/cic_disambiguation/test_parser.ml
index a3bba5a5a9b4bf74207a562ab288fdbd976c56bf..581b8d3e401c13f9952577d39f1872eb051952f7 100644 (file)
--- 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