From feace407c0e94ba940f7e1ffb5706d78ddb71760 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Sun, 13 Mar 2016 10:22:07 +0100
Subject: [PATCH] annotations added in the code

---
 code/SokobanObjectwise.icl | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/code/SokobanObjectwise.icl b/code/SokobanObjectwise.icl
index 6c65c6d..4b9542d 100644
--- a/code/SokobanObjectwise.icl
+++ b/code/SokobanObjectwise.icl
@@ -41,11 +41,12 @@ encode p = join "\n" [
 	"--Agent not on the box",
 	"INVAR " <+ encodeAgentNotOnBox boxnums <+ ";",
 	"--Box not on box",
-	encodeBoxOnBoxes (indexList boxes),
+	encodeBoxOnBoxes boxnums,
 	"--Goal state",
 	"INVAR " <+ encodeGoalState boxnums targetPos <+ ";",
-	"",
+	"--Agent movement",
 	encodeObMovement "agent",
+	"--Box movement",
 	encodeBoxMovement boxnums,
 	"CTLSPEC ! EF (movement = finished);",
 
-- 
2.20.1