Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
8ae73dbe
Commit
8ae73dbe
authored
Nov 21, 2015
by
yoogx
Browse files
* Minor reformatting
parent
137e00fd
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/frontends/aadl/ocarina-fe_aadl-parser-components-features.adb
View file @
8ae73dbe
...
...
@@ -1066,7 +1066,6 @@ package body Ocarina.FE_AADL.Parser.Components.Features is
Is_Refinement
=>
Is_Refinement
);
when
others
=>
if
Is_Refinement
then
case
AADL_Version
is
when
AADL_V1
=>
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment