diff --git a/Isabelle_DOF-Example-Extra/CC_ISO15408/PikeOS_study/PikeOS_ST.thy b/Isabelle_DOF-Example-Extra/CC_ISO15408/PikeOS_study/PikeOS_ST.thy
index 4b76d84..2b19354 100644
--- a/Isabelle_DOF-Example-Extra/CC_ISO15408/PikeOS_study/PikeOS_ST.thy
+++ b/Isabelle_DOF-Example-Extra/CC_ISO15408/PikeOS_study/PikeOS_ST.thy
@@ -1,6 +1,6 @@
 theory PikeOS_ST (*Security Target *)
 
-imports "Isabelle_DOF-ontologies.CC_v3_1_R5'
+imports "Isabelle_DOF-Ontologies.CC_v3_1_R5"
 
 begin