X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fdtd%2Fcictypes.dtd;h=bb98567311e3db336081fcde3668a3264bbb8adf;hb=2cf66cdc91daeded898c9d5b79dd5c2a32f5b52b;hp=7d9581782821c6f9780e63f1f4a08212771246cd;hpb=89d2370db1ef266be1dce32c0f9ca0552f6fe2f7;p=helm.git

diff --git a/helm/dtd/cictypes.dtd b/helm/dtd/cictypes.dtd
index 7d9581782..bb9856731 100644
--- a/helm/dtd/cictypes.dtd
+++ b/helm/dtd/cictypes.dtd
@@ -5,7 +5,7 @@
 <!--  First draft: November 11 2000, Claudio Sacerdoti Coen         -->
 <!--*****************************************************************-->
 
-<!ENTITY % cicdtd SYSTEM "cic.dtd">
+<!ENTITY % cicdtd SYSTEM "http://localhost:8081/getdtd?uri=cic.dtd">
 
 %cicdtd;