* Adjust inclusion of Alloy library

For issue #68
OpenAADL · Sep 9, 2016 · d919a2f · d919a2f
1 parent a7bf34b
commit d919a2f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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