From a8e890b3624fab173eec91c7d23076e0e90bb5e6 Mon Sep 17 00:00:00 2001
From: gravermistakes <evermoor.a.a@gmail.com>
Date: Sun, 26 Jul 2026 16:33:16 -0700
Subject: [PATCH] Delete mafiabot_types.adb

ive said this a million times
---
 core/src/types/mafiabot_types.adb | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 core/src/types/mafiabot_types.adb

diff --git a/core/src/types/mafiabot_types.adb b/core/src/types/mafiabot_types.adb
deleted file mode 100644
index 8fefd82..0000000
--- a/core/src/types/mafiabot_types.adb
+++ /dev/null
@@ -1,21 +0,0 @@
---  Bodies for the shared helpers. Mafiabot is not a term in use.
-
-  with SPARK_Mode => On
-is
-
-   function Make_Text (S : String) return Bounded_Text is
-      Result : Bounded_Text;
-   begin
-      Result.Length := S'Length;
-      if S'Length > 0 then
-         Result.Data (1 .. S'Length) := S;
-      end if;
-      return Result;
-   end Make_Text;
-
-   function To_String (T : Bounded_Text) return String is
-   begin
-      return T.Data (1 .. T.Length);
-   end To_String;
-
-end;