summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-09-11 10:59:06 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-09-11 10:59:06 +0200
commitff25687349139a4811bfe3e9053d1516557f1b2e (patch)
tree6457ecb86bf65e681debdff71819b6f6c5cdf9ad
parenta0a1835ff6552820c5859fc79b8a0a3dbc522a31 (diff)
s/hint_defs/hint_type/g
-rw-r--r--server/prolog_session.py6
1 files changed, 3 insertions, 3 deletions
diff --git a/server/prolog_session.py b/server/prolog_session.py
index 3e48cbc..c06c6d0 100644
--- a/server/prolog_session.py
+++ b/server/prolog_session.py
@@ -133,9 +133,9 @@ class PrologSession(object):
with self._access_lock:
for hint in hints:
for mod in [language_mod, problem_mod]:
- if hasattr(mod, 'hint_defs') and hint['id'] in mod.hint_defs:
- hint_def = mod.hint_defs[hint['id']]
- hint_def.instantiate(hint, self._sent_hints)
+ if hasattr(mod, 'hint_type') and hint['id'] in mod.hint_type:
+ hint_type = mod.hint_type[hint['id']]
+ hint_type.instantiate(hint, self._sent_hints)
self._sent_hints.extend(hints)
def run_for_user(self, user_id, problem_id, program, query):