From baa3a346cde2c2c965243e554a15ed3bd6f5c7fe Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Wed, 16 Apr 2025 15:51:58 +1200 Subject: Code style improvements, constants marked as constant --- src/squares.ads | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/squares.ads') diff --git a/src/squares.ads b/src/squares.ads index 8a1f053..5ff9b81 100644 --- a/src/squares.ads +++ b/src/squares.ads @@ -40,12 +40,12 @@ package Squares is function Get_Contents (This : in Square) return Things.Thing - with Pre => Is_Walkable (This); + with Pre => Is_Walkable (This); procedure Set_Contents (This : in out Square; Item : in Things.Thing) - with Pre => Is_Walkable (This); + with Pre => Is_Walkable (This); @@ -91,3 +91,4 @@ private end Squares; + -- cgit