summaryrefslogtreecommitdiff
path: root/server
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-12-11 15:30:58 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-12-11 16:11:15 +0100
commit62fe2663d964e3b5cdeaad3c800847a629154920 (patch)
tree81d1d9c1217c203580bea8232c9c657e3df51334 /server
parent3fb4420980af20c7859a5abf8873ae00d4f8612b (diff)
Only try monkey.fix if we have edits for this problem
Diffstat (limited to 'server')
-rw-r--r--server/prolog_session.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/server/prolog_session.py b/server/prolog_session.py
index 1a76130..c6e5b69 100644
--- a/server/prolog_session.py
+++ b/server/prolog_session.py
@@ -129,7 +129,7 @@ class PrologSession(server.LanguageSession):
hints = language_module.hint(program, solved_problems)
if not hints and hasattr(problem_module, 'hint'):
hints = problem_module.hint(program, solved_problems)
- if not hints:
+ if not hints and problem_id in _edits:
# Testing function for monkey.
def tester(code):
passed, hints = problem_module.test(code, solved_problems)