diff --git a/Isabelle_DOF-Unit-Tests/ROOT b/Isabelle_DOF-Unit-Tests/ROOT
index 28fa3641..589312d9 100644
--- a/Isabelle_DOF-Unit-Tests/ROOT
+++ b/Isabelle_DOF-Unit-Tests/ROOT
@@ -13,7 +13,7 @@ session "Isabelle_DOF-Unit-Tests" = "Isabelle_DOF-Ontologies" +
     "Attributes"
     "AssnsLemmaThmEtc" 
     "Ontology_Matching_Example"
-    (*"Cenelec_Test"*)
+    "Cenelec_Test"
     "OutOfOrderPresntn"
   document_files
     "root.bib"