diff --git a/mafiabot.adb b/mafiabot.adb
deleted file mode 100644
index 2cfaf66..0000000
--- a/mafiabot.adb
+++ /dev/null
@@ -1,12 +0,0 @@
-pragma Profile (Jorvik);
-pragma SPARK_Mode (Off);  --  Main procedure: orchestrates I/O-facing init.
-
-with Bot_Config;
-with Engine;
-
-procedure Mafiabot is
-   Config   : Bot_Config.Bot_Configuration;
-   Registry : Engine.Daemon_Registry;
-begin
-   null;
-end Mafiabot;