From dadd7861867a431df353219adb1cd1f500ed005a Mon Sep 17 00:00:00 2001 From: gravermistakes Date: Thu, 18 Jun 2026 05:12:19 -0700 Subject: [PATCH] Update hermes_protocol.adb --- mafiabot_core/src/protocol/hermes_protocol.adb | 1 + 1 file changed, 1 insertion(+) diff --git a/mafiabot_core/src/protocol/hermes_protocol.adb b/mafiabot_core/src/protocol/hermes_protocol.adb index 077535f..6892c31 100644 --- a/mafiabot_core/src/protocol/hermes_protocol.adb +++ b/mafiabot_core/src/protocol/hermes_protocol.adb @@ -3,6 +3,7 @@ -- screening happens in proven code (Ada_Medium / Trust_Boundary) before any -- procedure here is called. The global No_Exceptions restriction still applies, -- so I/O is written to avoid raising (End_Of_File guards, bounded Get_Line). +-- [we should probly reconsider this as the first layer then] with Ada.Text_IO; with Ada.Environment_Variables;