From 5680d81f2740ff2f6d9440a885cb76df6cd830f4 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Tue, 15 Apr 2025 22:50:55 +1200 Subject: Bugfix for Get_Contents precondition check --- src/sokoban.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sokoban.adb b/src/sokoban.adb index 80a2972..ad17090 100644 --- a/src/sokoban.adb +++ b/src/sokoban.adb @@ -306,8 +306,8 @@ package body Sokoban is My_Display.Set_Move_Number (Move_Record.Length); My_Grid.Redraw; - elsif Next.Get_Contents = Things.Treasure and - Next_Next.Is_Walkable and Next_Next.Get_Contents = Things.Nothing + elsif Next.Get_Contents = Things.Treasure and then + Next_Next.Is_Walkable and then Next_Next.Get_Contents = Things.Nothing then Current.Set_Contents (Things.Nothing); My_Grid.Set_Square (Current_Man_X, Current_Man_Y, Current); -- cgit