From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 1 Feb 2005 13:45:36 +0000 (+0000)
Subject: added `Coer print_kind
X-Git-Tag: V_0_1_0~74
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=04cc02b84efcfc03c6f74185648c0bcd846567ba;p=helm.git

added `Coer print_kind
---

diff --git a/helm/ocaml/cic_transformations/tacticAst.ml b/helm/ocaml/cic_transformations/tacticAst.ml
index ed8e4ec6e..eae88a14d 100644
--- a/helm/ocaml/cic_transformations/tacticAst.ml
+++ b/helm/ocaml/cic_transformations/tacticAst.ml
@@ -90,7 +90,7 @@ type 'term inductive_type = string * bool * 'term * (string * 'term) list
 
 type search_kind = [ `Locate | `Hint | `Match | `Elim ]
 
-type print_kind = [ `Env ]
+type print_kind = [ `Env | `Coer ]
 
 type 'term command =
   | Abort