Commit d8627e8d authored by jhugues's avatar jhugues
Browse files

* Stop if instanciation fails;

	Patch for ticket 198

git-svn-id: 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 424b1e7f
......@@ -66,10 +66,14 @@ package body Ocarina.Backends.Cheddar is
procedure Generate (AADL_Root : Node_Id) is
Instance_Root : Node_Id;
Instance_Root := Instantiate_Model (AADL_Root);
if No (Instance_Root) then
Display_Error ("Cannot instantiate the AADL model", Fatal => True);
end if;
-- Expand the AADL instance
Expand (Instance_Root);
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