forked from Isabelle_DOF/Isabelle_DOF
Fix Cenelec test build error
This commit is contained in:
parent
939715aba9
commit
77e8844687
|
@ -13,7 +13,7 @@ session "Isabelle_DOF-Unit-Tests" = "Isabelle_DOF-Ontologies" +
|
||||||
"Attributes"
|
"Attributes"
|
||||||
"AssnsLemmaThmEtc"
|
"AssnsLemmaThmEtc"
|
||||||
"Ontology_Matching_Example"
|
"Ontology_Matching_Example"
|
||||||
(*"Cenelec_Test"*)
|
"Cenelec_Test"
|
||||||
"OutOfOrderPresntn"
|
"OutOfOrderPresntn"
|
||||||
document_files
|
document_files
|
||||||
"root.bib"
|
"root.bib"
|
||||||
|
|
Loading…
Reference in New Issue