Commit d919a2f3 authored by yoogx's avatar yoogx

* Adjust inclusion of Alloy library

        For issue #68
parent a7bf34b9
......@@ -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
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment