this works way better

[ker1415-1.git] / report / src / domaintask1.pl

diff --git a/report/src/domaintask1.pl b/report/src/domaintask1.pl
index dadf72c..1f41f38 100644 (file)
--- a/report/src/domaintask1.pl
+++ b/report/src/domaintask1.pl
@@ -16,7 +16,7 @@ poss(push(From, Direction), S) :-
        connected(From, CrateLocation, Direction),
        crate(_, CrateLocation, S),
        connected(CrateLocation, CrateTarget, Direction),
-       not(crate(_, CrateTarget, Direction)).
+       not(crate(_, CrateTarget, S)).
 
 % --- Successor state axioms ------------------------------------------
 agent(AgentPlek, result(A, S)) :-