From 7cef684e71b64f00b41da66ba7bc581568d78f51 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sun, 6 Aug 2017 22:17:54 +1000 Subject: Factored out some trivial bits into Misc, made coding style more consistent --- src/sokoban.ads | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/sokoban.ads') diff --git a/src/sokoban.ads b/src/sokoban.ads index ec88cc6..1f7fa17 100644 --- a/src/sokoban.ads +++ b/src/sokoban.ads @@ -6,13 +6,16 @@ package Sokoban is type LevelID is new Integer range 0 .. 50; + + procedure Load_Level (Number : in LevelID); - procedure Show; + procedure Show; + procedure Hide; -- cgit