From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 7 Jun 2005 17:21:08 +0000 (+0000)
Subject: handles "elimCProp" value for class attribute
X-Git-Tag: PRE_INDEX_1~50
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2e8243f12626854bdc1e06f2e3d9160ff7901bd3;p=helm.git

handles "elimCProp" value for class attribute
---

diff --git a/helm/ocaml/cic/cicPushParser.ml b/helm/ocaml/cic/cicPushParser.ml
index a76105deb..f9f14df10 100644
--- a/helm/ocaml/cic/cicPushParser.ml
+++ b/helm/ocaml/cic/cicPushParser.ml
@@ -611,6 +611,8 @@ let end_element ctxt tag =
             mk_obj_attributes (`Class `Projection :: acc) tl
         | ("class", "elimProp") :: tl ->
             mk_obj_attributes (`Class (`Elim Cic.Prop) :: acc) tl
+        | ("class", "elimCProp") :: tl ->
+            mk_obj_attributes (`Class (`Elim Cic.CProp) :: acc) tl
         | ("class", "elimSet") :: tl ->
             mk_obj_attributes (`Class (`Elim Cic.Set) :: acc) tl
         | ("class", "elimType") :: tl ->