From 9a98225fc983d343e5ba3c48b222dec5ed9a13af Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 2 Dec 2003 13:33:55 +0000
Subject: [PATCH] added sort CProp

---
 helm/dtd/cic.dtd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/dtd/cic.dtd b/helm/dtd/cic.dtd
index a4068754f..97e6cd6b1 100644
--- a/helm/dtd/cic.dtd
+++ b/helm/dtd/cic.dtd
@@ -9,7 +9,7 @@
 
 <!-- CIC sorts -->
 
-<!ENTITY % sort '(Prop|Set|Type)'>
+<!ENTITY % sort '(Prop|Set|Type|CProp)'>
 
 <!-- CIC sequents -->
 
-- 
2.39.2