Commit 40a12b24 authored by yoogx's avatar yoogx
Browse files

* Typo

parent c08f8865
......@@ -272,8 +272,7 @@ package body Ocarina.Backends.Alloy is
Put_Line (FD, "// Declaration of the contract(s) "
& "representing the model(s)");
New_Line (FD);
Put_Line (FD, "one sig aadl_model extends Contract{");
Put_Line (FD, "}");
Put_Line (FD, "one sig aadl_model extends Contract{}{");
Put_Line (FD, ASCII.HT & "assumption=none");
Put_Line (FD, ASCII.HT & "input=none");
Put_Line (FD, ASCII.HT & "guarantee=none");
Supports Markdown
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