X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=code%2FSokoban.dcl;h=c23bf22651eb68bd4a73bae17ba4c3f853e1b410;hb=d16ccad512857e1469e3b3cb7ff28abc6ca8a46a;hp=631cf7d911c5ccb7707941d4f50b96c1317253d5;hpb=ce272707c750ffd26760802cde66e8da29c246b7;p=mc1516pa.git

diff --git a/code/Sokoban.dcl b/code/Sokoban.dcl
index 631cf7d..c23bf22 100644
--- a/code/Sokoban.dcl
+++ b/code/Sokoban.dcl
@@ -3,7 +3,7 @@ definition module Sokoban
 from StdString import class toString
 
 :: SokobanPuzzle = Sokoban [[SokobanTile]]
-:: SokobanTile = Wall | Free | Box | Target | Agent
+:: SokobanTile = Free | Wall | Box | Target | Agent | TargetAgent | TargetBox
 
 instance toString SokobanTile
 instance toString SokobanPuzzle