diff options
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'), |