Commit 76b044ad authored by yoogx's avatar yoogx
Browse files

* Minor reformatting

parent bec70af6
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- B o d y -- -- B o d y --
-- -- -- --
-- Copyright (C) 2009 Telecom ParisTech, 2010-2015 ESA & ISAE. -- -- Copyright (C) 2009 Telecom ParisTech, 2010-2016 ESA & ISAE. --
-- -- -- --
-- Ocarina is free software; you can redistribute it and/or modify under -- -- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- -- -- terms of the GNU General Public License as published by the Free Soft- --
...@@ -76,9 +76,9 @@ package body Ocarina.Analyzer.AADL is ...@@ -76,9 +76,9 @@ package body Ocarina.Analyzer.AADL is
null; null;
end Reset; end Reset;
------------------ -------------------
-- Analyze_Model -- -- Analyze_Model --
------------------ -------------------
function Analyze_Model (Root : Node_Id) return Boolean is function Analyze_Model (Root : Node_Id) return Boolean is
pragma Assert (Kind (Root) = K_AADL_Specification); pragma Assert (Kind (Root) = K_AADL_Specification);
......
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