From 77e8844687ac94b40b1e0f7030e73d7fdb7403c3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicolas=20M=C3=A9ric?= Date: Wed, 19 Apr 2023 15:57:43 +0200 Subject: [PATCH] Fix Cenelec test build error --- Isabelle_DOF-Unit-Tests/ROOT | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"