diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-10-08 16:13:35 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-10-08 16:13:35 +0200 |
| commit | 3d0fde9ac8bc568845cfef8391ea0f9b0fe2f4e6 (patch) | |
| tree | 34089ab1c754e00442973b848654de9b6e24f279 /prolog/common.py | |
| parent | ce3b6703c153ba5c827996bfa8fd9bfa85fe2adb (diff) | |
Add language/group IDs and group numbers for Prolog
Diffstat (limited to 'prolog/common.py')
| -rw-r--r-- | prolog/common.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/prolog/common.py b/prolog/common.py index 654ab81..1ab4522 100644 --- a/prolog/common.py +++ b/prolog/common.py @@ -4,6 +4,8 @@ import operator import prolog.engine from server.hints import Hint, HintSequence +id = 1 + hint_type = { 'no_hint': Hint('no_hint'), 'program_already_correct': Hint('program_already_correct'), |