From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 24 Apr 2008 16:23:53 +0000 (+0000)
Subject: No more bugs on guarded_by_constructors in the old kernel.
X-Git-Tag: make_still_working~5286
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c610cd09e2458f09cd7379fe670a7895056384e4;p=helm.git

No more bugs on guarded_by_constructors in the old kernel.
---

diff --git a/helm/software/components/ng_kernel/TEST b/helm/software/components/ng_kernel/TEST
index c4df65de5..ac35d4e94 100644
--- a/helm/software/components/ng_kernel/TEST
+++ b/helm/software/components/ng_kernel/TEST
@@ -3,6 +3,7 @@ Cachan
 Dyade
 Eindhoven
 IdealX
+Marseille
 Montevideo
 Nancy
 Paris
@@ -26,7 +27,6 @@ Rocq/ALGEBRA/CATEGORY_THEORY: vecchio nucleo
 Altre Rocq: bug vari nuovo nucleo, compresi universi!
 matita: nuovo nucleo universi e altro
 lyon.ok: vecchio nucleo, variabili
-marseille: vecchio nucleo, guarded by constructors
 muenchen: nuovo nucleo, guarded by
 cachan: nuovo nucleo, guarded by cic:/Coq/Init/Wf/Acc_ind.con