TacticAst2Box no longer used.

diff --git a/helm/ocaml/cic_disambiguation/test_parser.ml b/helm/ocaml/cic_disambiguation/test_parser.ml
index 3b30e59001dd35aba70508c6ecdf4ce2b5adebe3..4f918b0a0d2f7641f55a4d0b43f2a5f73f7433c0 100644 (file)
--- a/helm/ocaml/cic_disambiguation/test_parser.ml
+++ b/helm/ocaml/cic_disambiguation/test_parser.ml
@@ -25,7 +25,9 @@
 
 open Printf
 
+(*
 let pp_tactical = TacticAst2Box.tacticalPp
+*)
 
 let modes = ("term",`Term) :: ("statement",`Statement) :: []