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 /prolog/common.py | |
parent | 4841519d3fb3a76b37529705b4a1ca96fbb6d6f6 (diff) | |
parent | 091f27eba8afac015386342ca3b924f0789396eb (diff) |
Merge branch 'master' of 192.168.15.97:codeq-problems
Diffstat (limited to 'prolog/common.py')
-rw-r--r-- | prolog/common.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/prolog/common.py b/prolog/common.py index 41377bb..8dca4dd 100644 --- a/prolog/common.py +++ b/prolog/common.py @@ -6,6 +6,7 @@ from server.hints import Hint, HintSequence hint_type = { 'no_hint': HintSequence('no_hint', 4), + 'system_error': Hint('system_error'), 'test_results': Hint('test_results'), 'syntax_error': Hint('syntax_error'), } |