From a73d3f9cd6bda37cfb538e9fdf66f905a01d8e37 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 9 Feb 2004 09:42:02 +0000 Subject: [PATCH] use CicAstPp --- helm/ocaml/cic_disambiguation/test_parser.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2