From 5953ccf828739b4bdc360403cb1d261a3ca523fe Mon Sep 17 00:00:00 2001
From: gravermistakes <250037217+gravermistakes@users.noreply.github.com>
Date: Sat, 30 May 2026 16:55:10 -0700
Subject: [PATCH] Delete mafiabot.adb

Signed-off-by: gravermistakes <250037217+gravermistakes@users.noreply.github.com>
---
 mafiabot.adb | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 mafiabot.adb

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;