Commit 71f43d2a authored by yoogx's avatar yoogx

* Adjust visitor name

parent 4368f993
......@@ -250,7 +250,7 @@ package body Ocarina.Backends.Alloy is
Put_Line (FD, "// Mapping of the AADL instance tree");
New_Line (FD);
Visit_Architecture_Instance (Instance_Root);
Visit (Instance_Root);
-- Add global contract
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment