]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_disambiguation/test_parser.ml
version 0.7.1
[helm.git] / helm / ocaml / cic_disambiguation / test_parser.ml
index 3b30e59001dd35aba70508c6ecdf4ce2b5adebe3..4f918b0a0d2f7641f55a4d0b43f2a5f73f7433c0 100644 (file)
@@ -25,7 +25,9 @@
 
 open Printf
 
+(*
 let pp_tactical = TacticAst2Box.tacticalPp
+*)
 
 let modes = ("term",`Term) :: ("statement",`Statement) :: []