Commit 97aacaf9 authored by yoogx's avatar yoogx

* Deactivate SpaceStudio backend

        For issue #79
parent c9db71b0
...@@ -76,7 +76,6 @@ with Ocarina.Backends.ASN1_Tree.Nutils; ...@@ -76,7 +76,6 @@ with Ocarina.Backends.ASN1_Tree.Nutils;
with Ocarina.Backends.ASN1_Values; with Ocarina.Backends.ASN1_Values;
with Ocarina.Backends.AADL_XML; with Ocarina.Backends.AADL_XML;
with Ocarina.Backends.Alloy; with Ocarina.Backends.Alloy;
with Ocarina.Backends.AADL_SpaceStudio;
with Ocarina.Options; use Ocarina.Options; with Ocarina.Options; use Ocarina.Options;
...@@ -221,7 +220,6 @@ package body Ocarina.Backends is ...@@ -221,7 +220,6 @@ package body Ocarina.Backends is
Replication_Expander.Init; Replication_Expander.Init;
Connection_Matrix.Init; Connection_Matrix.Init;
Functions_Matrix.Init; Functions_Matrix.Init;
AADL_SpaceStudio.Init;
AADL_XML.Init; AADL_XML.Init;
Alloy.Init; Alloy.Init;
end Init; end Init;
......
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