updated sokoban parser

[mc1516pa.git] / code / Sokoban.dcl

diff --git a/code/Sokoban.dcl b/code/Sokoban.dcl
index 631cf7d..c23bf22 100644 (file)
--- 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