Last (???) bug about variables with bodies fixed: we do no longer create

[helm.git] / helm / software / components / ng_kernel / TEST

diff --git a/helm/software/components/ng_kernel/TEST b/helm/software/components/ng_kernel/TEST
index 45867405f3d29c5c4349dbe8ddd1792c7bf4021b..7abd86d703cf32d27ead2354d2c610904122b482 100644 (file)
--- a/helm/software/components/ng_kernel/TEST
+++ b/helm/software/components/ng_kernel/TEST
@@ -38,8 +38,6 @@ Sophia-Antipolis/Buchberger: nuovo nucleo diverge
 Sophia-Antipolis/huffmann: Unknown constant
 Sophia-Antipolis/MATH/GROUPS: Unknown constant
 
-lyon: Appl con meno di due argomenti, cic:/Lyon/COINDUCTIVES/STREAMS/Alter/eqalters_III.con
-
 Rocq/ALGEBRA/CATEGORY_THEORY: vecchio nucleo
 Sophia-Antipolis/Algebra: vecchio nucleo variabili
 lyon.ok: vecchio nucleo, variabili