From a0d7e52a220d1a57b43cf696b3883dbf62b823df Mon Sep 17 00:00:00 2001 From: gravermistakes Date: Thu, 18 Jun 2026 05:13:54 -0700 Subject: [PATCH] Delete mafiabot_types.adb --- mafiabot_core/src/types/mafiabot_types.adb | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 mafiabot_core/src/types/mafiabot_types.adb diff --git a/mafiabot_core/src/types/mafiabot_types.adb b/mafiabot_core/src/types/mafiabot_types.adb deleted file mode 100644 index fed52ca..0000000 --- a/mafiabot_core/src/types/mafiabot_types.adb +++ /dev/null @@ -1,19 +0,0 @@ -package body Mafiabot_Types - with SPARK_Mode => On -is - - function Make_Text (S : String) return Bounded_Text is - T : Bounded_Text; - L : constant Text_Length := S'Length; - begin - T.Length := L; - T.Data (1 .. L) := S; - return T; - end Make_Text; - - function To_String (T : Bounded_Text) return String is - begin - return T.Data (1 .. T.Length); - end To_String; - -end Mafiabot_Types;