From ff8dc0e85f9e055793d507ed8bed0c08072c5188 Mon Sep 17 00:00:00 2001
From: mgebser <gebser@cs.uni-potsdam.de>
Date: Wed, 18 Jan 2017 15:45:12 +0100
Subject: [PATCH] just stylistic change

---
 encodings/strips/strips-incremental.lp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/encodings/strips/strips-incremental.lp b/encodings/strips/strips-incremental.lp
index 6d54966..060077e 100644
--- a/encodings/strips/strips-incremental.lp
+++ b/encodings/strips/strips-incremental.lp
@@ -73,7 +73,7 @@ change(X,t) :- holds(X,V,t-1), not holds(X,V,t).
 
 % Generate actions
 
-{occurs(A,t) : active(A)}.
+{occurs(A,t)} :- active(A).
 
 :- planner_on = 0, not occurs(A,t) : active(A).