diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-10-06 18:48:37 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-10-06 18:48:53 +0200 |
| commit | ea99111b2565035ac60e971db5a050a2d2614bb5 (patch) | |
| tree | 9230e918aecfa768e28afa697a85d2308c9296ab /python/common.py | |
| parent | 5a1b4202dfa99bb88fab6b1f23594bd2def811c6 (diff) | |
Add "program is already correct" hints
Diffstat (limited to 'python/common.py')
| -rw-r--r-- | python/common.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/python/common.py b/python/common.py index 26f3881..c754a1a 100644 --- a/python/common.py +++ b/python/common.py @@ -5,6 +5,7 @@ from server.hints import Hint hint_type = { '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'), |