X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2Falluris.txt;h=815d0e51543c8641dc900e34d67fe8c2d1df0505;hb=3c46776d941312a0faa2e0ae2e112dd76242b6c9;hp=415580919250011d640dbac54bab41950b608d21;hpb=e2381427bca733bd36a099002fa8b7140f7a20d0;p=helm.git

diff --git a/helm/software/components/ng_kernel/alluris.txt b/helm/software/components/ng_kernel/alluris.txt
index 415580919..815d0e515 100644
--- a/helm/software/components/ng_kernel/alluris.txt
+++ b/helm/software/components/ng_kernel/alluris.txt
@@ -2203,4 +2203,3 @@ cic:/matita/technicalities/setoids/Areflexive_Relation_Class_rect.con
 cic:/matita/technicalities/setoids/Areflexive_Relation_Class_rec.con
 cic:/matita/technicalities/setoids/Areflexive_Relation_Class_ind.con
 cic:/matita/technicalities/setoids/Areflexive_Relation_Class.ind
-cic:/matita/tests/foobar.con