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 c4df65de5cb1b9a821c907fd0381007326ae81d2..ac35d4e948d3697d01f176eeae9d19129d3946dd 100644 (file)
--- 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