diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2017-08-06 22:17:54 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2017-08-06 22:17:54 +1000 |
| commit | 7cef684e71b64f00b41da66ba7bc581568d78f51 (patch) | |
| tree | c187a50b13961b0cd8227dd0d54ec7958f131bbf /src/sokoban.ads | |
| parent | 051ddb2a265dda897bce72edc318beadd111eba2 (diff) | |
Factored out some trivial bits into Misc, made coding style more consistent
Diffstat (limited to 'src/sokoban.ads')
| -rw-r--r-- | src/sokoban.ads | 5 |
1 files changed, 4 insertions, 1 deletions
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; |