diff --git a/src/backends/ocarina-backends.adb b/src/backends/ocarina-backends.adb
index d4d310ee86306ba32dff9ded74f62a682160cab0..6dd1652d34f608c32ad462f3d6cd128e056585b2 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;