From 97aacaf9d54ab206c900e12c0f309a7ec9dcd0e2 Mon Sep 17 00:00:00 2001 From: yoogx Date: Thu, 9 Mar 2017 11:09:18 +0100 Subject: [PATCH] * Deactivate SpaceStudio backend For issue #79 --- src/backends/ocarina-backends.adb | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/backends/ocarina-backends.adb b/src/backends/ocarina-backends.adb index d4d310ee..6dd1652d 100644 --- a/src/backends/ocarina-backends.adb +++ b/src/backends/ocarina-backends.adb @@ -76,7 +76,6 @@ with Ocarina.Backends.ASN1_Tree.Nutils; with Ocarina.Backends.ASN1_Values; with Ocarina.Backends.AADL_XML; with Ocarina.Backends.Alloy; -with Ocarina.Backends.AADL_SpaceStudio; with Ocarina.Options; use Ocarina.Options; @@ -221,7 +220,6 @@ package body Ocarina.Backends is Replication_Expander.Init; Connection_Matrix.Init; Functions_Matrix.Init; - AADL_SpaceStudio.Init; AADL_XML.Init; Alloy.Init; end Init; -- GitLab