From cdc7541f2f927e090aa0c8512d04217f61d73158 Mon Sep 17 00:00:00 2001 From: gravermistakes Date: Sun, 26 Jul 2026 16:34:22 -0700 Subject: [PATCH] Delete monero_types.adb why tf is this not in the correct organ --- core/src/types/monero_types.adb | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 core/src/types/monero_types.adb diff --git a/core/src/types/monero_types.adb b/core/src/types/monero_types.adb deleted file mode 100644 index f70b281..0000000 --- a/core/src/types/monero_types.adb +++ /dev/null @@ -1,22 +0,0 @@ -package body Monero_Types is - pragma SPARK_Mode (On); - - function Threshold_Reached - (Participants : Multisig_Participant_Array; - Required : Positive) - return Boolean - is - Count : Natural := 0; - begin - for P of Participants loop - if P.Status = Accepted then - Count := Count + 1; - end if; - if Count >= Required then - return True; - end if; - end loop; - return False; - end Threshold_Reached; - -end Monero_Types;