added aps generation

[helm.git] / helm / software / components / ng_kernel / alluris.txt

diff --git a/helm/software/components/ng_kernel/alluris.txt b/helm/software/components/ng_kernel/alluris.txt
index 415580919250011d640dbac54bab41950b608d21..815d0e51543c8641dc900e34d67fe8c2d1df0505 100644 (file)
--- 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