diff options
| author | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-22 12:57:43 +0200 |
|---|---|---|
| committer | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-22 12:57:43 +0200 |
| commit | cb71b2083b2f87b2f0466577dbe3e11efe22410c (patch) | |
| tree | c1584335a4abeb51adc91eb923ec92b4060e5c52 /python/common.py | |
| parent | 4841519d3fb3a76b37529705b4a1ca96fbb6d6f6 (diff) | |
| parent | 091f27eba8afac015386342ca3b924f0789396eb (diff) | |
Merge branch 'master' of 192.168.15.97:codeq-problems
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 7d4eaab..2b66aff 100644 --- a/python/common.py +++ b/python/common.py @@ -5,6 +5,7 @@ from server.hints import Hint, HintSequence hint_type = { 'no_hint': Hint('no_hint'), + 'system_error': Hint('system_error'), 'test_results': Hint('test_results'), 'syntax_error': Hint('syntax_error'), 'name_error': Hint('name_error'), |