Update ada_medium.adb

This commit is contained in:
2026-06-18 05:09:41 -07:00
committed by GitHub
parent e904670763
commit bf87e02aad
@@ -1,9 +1,9 @@
with Soul.State; -- with Soul.State;
--
package body Ada_Medium -- package body Ada_Medium
with SPARK_Mode => On -- with SPARK_Mode => On
is -- is
-- WRONG ASK ME WHY
-- Internal toolkit state -- Internal toolkit state
Toolkit : ML_Toolkit := Toolkit : ML_Toolkit :=
(LoRA_Adapter => (Tool => LoRA_Adapter, Enabled => False), (LoRA_Adapter => (Tool => LoRA_Adapter, Enabled => False),