From 04cc02b84efcfc03c6f74185648c0bcd846567ba Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 1 Feb 2005 13:45:36 +0000 Subject: [PATCH] added `Coer print_kind --- helm/ocaml/cic_transformations/tacticAst.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2