diff --git a/Citadelle/examples/C_Model_core.thy b/Citadelle/examples/C_Model_core.thy
index 6a56654ffece890ad4f047cab32736d9b2dcfcf2..033e2af98468f534458e9c65e28cc29cd71d4918 100644
--- a/Citadelle/examples/C_Model_core.thy
+++ b/Citadelle/examples/C_Model_core.thy
@@ -56,7 +56,7 @@ declare [[syntax_ambiguity_warning = false]]
 
 generation_syntax [ deep
                       (THEORY Meta_C_generated)
-                      (IMPORTS ["FOCL.UML_Main", "FOCL.Static", "Citadelle_C_init.C_Model_init"]
+                      (IMPORTS ["OCL.UML_Main", "FOCL.Static", "Citadelle_C_init.C_Model_init"]
                                "Citadelle.Generator_dynamic_concurrent")
                       SECTION
                       SORRY