snapshot

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

diff --git a/helm/ocaml/cic_notation/cicNotationPt.ml b/helm/ocaml/cic_notation/cicNotationPt.ml
index 9c5257e075406dbc3b551bb2aadb10318ea18422..99b8909e544627ad6fbabc712b43e6a4fd5abf31 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationPt.ml
+++ b/helm/ocaml/cic_notation/cicNotationPt.ml
@@ -147,4 +147,5 @@ type phrase = (* TODO hackish: replace with TacticAst.statement or similar *)
       (* level 1 pattern, associativity, precedence, level 2 pattern *)
   | Interpretation of (string * argument_pattern list) * cic_appl_pattern
   | Render of UriManager.uri
+  | Dump  (* dump grammar *)