Commit 148bd93c authored by Antonio Andriella's avatar Antonio Andriella
Browse files

commit problem and domain definition

parent d75a4a4f
...@@ -39,7 +39,6 @@ ...@@ -39,7 +39,6 @@
(suggestAnswer) (suggestAnswer)
(encourageUser) (encourageUser)
(suggestSubset) (suggestSubset)
(sendTricks)
(performDemonstration) (performDemonstration)
(ALLOWEDMOVE P1 L1) (ALLOWEDMOVE P1 L1)
(ALLOWEDMOVE P2 L2) (ALLOWEDMOVE P2 L2)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment