From caede9392c6fb7988731e0bbd1d1c42817f443de Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 1 Feb 2005 13:45:05 +0000
Subject: [PATCH] Added Coer/Coercions print_kind

---
 helm/ocaml/cic_disambiguation/cicTextualParser2.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/helm/ocaml/cic_disambiguation/cicTextualParser2.ml b/helm/ocaml/cic_disambiguation/cicTextualParser2.ml
index d062ed109..e35101862 100644
--- a/helm/ocaml/cic_disambiguation/cicTextualParser2.ml
+++ b/helm/ocaml/cic_disambiguation/cicTextualParser2.ml
@@ -459,6 +459,8 @@ EXTEND
   print_kind: [
     [ [ IDENT "Env" | IDENT "env" | IDENT "Environment" | IDENT "environment" ]
       -> `Env
+    | [ IDENT "Coer" | IDENT "coer" | IDENT "Coercions" | IDENT "coercions" ]
+      -> `Coer
   ] ];
 
   command: [
-- 
2.39.2