From c610cd09e2458f09cd7379fe670a7895056384e4 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 24 Apr 2008 16:23:53 +0000
Subject: [PATCH] No more bugs on guarded_by_constructors in the old kernel.

---
 helm/software/components/ng_kernel/TEST | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
2.39.2