diff options
author | Martin <martin@leo.fri1.uni-lj.si> | 2015-10-07 08:34:49 +0200 |
---|---|---|
committer | Martin <martin@leo.fri1.uni-lj.si> | 2015-10-07 08:34:49 +0200 |
commit | 0e92e87812a7c11edbdee9c1590a2cad53f3577c (patch) | |
tree | fc3d4a33980562273d15a2828da6d66c62035945 /prolog/common.py | |
parent | a451016b9efa919d7564fc75ab812052d1cd25f5 (diff) | |
parent | ea99111b2565035ac60e971db5a050a2d2614bb5 (diff) |
Merge branch 'master' of 192.168.15.97:codeq-problems
Diffstat (limited to 'prolog/common.py')
-rw-r--r-- | prolog/common.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/prolog/common.py b/prolog/common.py index 8dca4dd..654ab81 100644 --- a/prolog/common.py +++ b/prolog/common.py @@ -5,7 +5,8 @@ import prolog.engine from server.hints import Hint, HintSequence hint_type = { - 'no_hint': HintSequence('no_hint', 4), + 'no_hint': Hint('no_hint'), + 'program_already_correct': Hint('program_already_correct'), 'system_error': Hint('system_error'), 'test_results': Hint('test_results'), 'syntax_error': Hint('syntax_error'), |