- synced notation pretty printing with parsing syntax

[helm.git] / helm / ocaml / cic_notation / test_parser.ml

diff --git a/helm/ocaml/cic_notation/test_parser.ml b/helm/ocaml/cic_notation/test_parser.ml
index df94eaa6f3c320e38cacfc4cfcb6725d22bda50b..62b0ae32bd585ca0551ca1e3d4d851ddf85b05c5 100644 (file)
--- a/helm/ocaml/cic_notation/test_parser.ml
+++ b/helm/ocaml/cic_notation/test_parser.ml
@@ -76,6 +76,7 @@ let process_stream ?(ignore_exn = false) istream =
             G.Notation (_, l1, associativity, precedence, l2))) ->
               prerr_endline "Extending parser ..."; flush stdout;
               prerr_endline (CicNotationPp.pp_term l1) ;
+              prerr_endline (CicNotationPp.pp_term l2) ;
               prerr_endline (sprintf "Found keywords: %s"
                 (String.concat " " (CicNotationUtil.keywords_of_term l1)));
               let time1 = Unix.gettimeofday () in