saint-graves/sica-fondt
1
0
Fork 0
mirror of https://github.com/SHOGGOTH-SECTOR/sica-fondt.git synced 2026-07-31 16:16:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Delete mafiabot_types.adb

Browse Source
This commit is contained in:
gravermistakes 2026-06-18 05:13:54 -07:00 committed by GitHub
parent 9c71e7fb19
commit a0d7e52a22
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
mafiabot_core/src/types/mafiabot_types.adb
View File

@ -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;