patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

just stylistic change

Browse Source
This commit is contained in:
mgebser 2017-01-18 15:45:12 +01:00
parent 1b94053542
commit ff8dc0e85f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
encodings/strips/strips-incremental.lp
View File

@ -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).