thing

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

diff --git a/report/src/instancetask1.pl b/report/src/instancetask1.pl
index 28567c7..a7b5b46 100644 (file)
--- a/report/src/instancetask1.pl
+++ b/report/src/instancetask1.pl
@@ -55,7 +55,6 @@ target(cratec, loc11).
 agent(loc32, s0).
 
 % --- Goal condition that the planner will try to reach ---------------
-%goal(S) :- forall(crate(Crate, Loc, S), target(Crate, Loc)).
 goal(S) :- crate(cratea, Targeta, S), target(cratea, Targeta),
        crate(crateb, Targetb, S), target(crateb, Targetb),
        crate(cratec, Targetc, S), target(cratec, Targetc).