From 148bd93ceca8ed8a293d5c7c67b45698ca38cbce Mon Sep 17 00:00:00 2001
From: Antonio Andriella <aandriella@iri.upc.edu>
Date: Tue, 30 May 2017 18:06:56 +0200
Subject: [PATCH] commit problem and domain definition
---
problem_definition.pddl | 1 -
1 file changed, 1 deletion(-)
diff --git a/problem_definition.pddl b/problem_definition.pddl
index ec79873..9a990e6 100644
--- a/problem_definition.pddl
+++ b/problem_definition.pddl
@@ -39,7 +39,6 @@
(suggestAnswer)
(encourageUser)
(suggestSubset)
- (sendTricks)
(performDemonstration)
(ALLOWEDMOVE P1 L1)
(ALLOWEDMOVE P2 L2)
--
GitLab