diff --git a/Citadelle/doc/Meta_C_generated.thy b/Citadelle/doc/Meta_C_generated.thy
index 03b3938699a603fb5dfa0188e9a27d0e14271ac2..11ca728d7a571ac5301b3a35686a021c577e258a 100644
--- a/Citadelle/doc/Meta_C_generated.thy
+++ b/Citadelle/doc/Meta_C_generated.thy
@@ -1,4 +1,4 @@
-theory Meta_C_generated imports "FOCL.UML_Main"   "FOCL.Static"   "Citadelle_C_init.C_Model_init" begin
+theory Meta_C_generated imports "OCL.UML_Main"   "FOCL.Static"   "Citadelle_C_init.C_Model_init" begin
 
 (* 1 ************************************ 0 + 0 *)  (* term Floor1_infra.print_infra_enum_synonym *)