* fold left/right implemented

[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 e4db4d503d986bd842008d5f32970fb58993d35c..bcb7e661b7e37936b993c9c0f40ddc7785171d5d 100644 (file)
--- a/helm/ocaml/cic_notation/test_parser.ml
+++ b/helm/ocaml/cic_notation/test_parser.ml
@@ -26,6 +26,7 @@
 open Printf
 
 let _ =
+  CicNotationEnv.set_pp_term CicNotationPp.pp_term;
   let module P = CicNotationPt in
   let level = ref ~-1 in
   let arg_spec = [ "-level", Arg.Set_int level, "set the notation level" ] in
@@ -85,8 +86,8 @@ let _ =
                     (fun env loc ->
                       prerr_endline "ENV";
                       prerr_endline (CicNotationPp.pp_env env);
-                      CicNotationEnv.instantiate env l2));
-                CicNotationParser.print_l2_pattern ())
+                      CicNotationEnv.instantiate env l2)))
+(*                 CicNotationParser.print_l2_pattern ()) *)
         | 1 -> ignore (CicNotationParser.parse_syntax_pattern istream)
         | 2 ->
             let ast = CicNotationParser.parse_ast_pattern istream in