From 2e8243f12626854bdc1e06f2e3d9160ff7901bd3 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 7 Jun 2005 17:21:08 +0000 Subject: [PATCH] handles "elimCProp" value for class attribute --- helm/ocaml/cic/cicPushParser.ml | 2 ++ 1 file changed, 2 insertions(+) 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 -> -- 2.39.2