diff --git a/src/backends/ocarina-backends-alloy.adb b/src/backends/ocarina-backends-alloy.adb
index bb7c7bf61035fdf8e2dd7220bb7d02d96a1a06f6..592b5ca7e1fcf42fe02042e0198d89b5e25a7b39 100644
--- a/src/backends/ocarina-backends-alloy.adb
+++ b/src/backends/ocarina-backends-alloy.adb
@@ -244,7 +244,7 @@ package body Ocarina.Backends.Alloy is
       Put_Line (FD, "// DO NOT EDIT IT");
       New_Line (FD);
       Put_Line (FD, "module con_model");
-      Put_Line (FD, "open alloy/common/lib_sig");
+      Put_Line (FD, "open lib/data_structure");
       New_Line (FD);
 
       --  Visit instance model