summaryrefslogtreecommitdiff
path: root/python/common.py
diff options
context:
space:
mode:
authorJure Žabkar <jure.zabkar@fri.uni-lj.si>2015-10-12 14:19:07 +0200
committerJure Žabkar <jure.zabkar@fri.uni-lj.si>2015-10-12 14:19:07 +0200
commit0a88716110994f789f764704a96791fdfb5fa288 (patch)
tree788c16ab578cf76eda358abc1d0587503d413a87 /python/common.py
parent1a7678b37a25a76aeaef7ebb225f85406b19f928 (diff)
parent5a01c2bb184152c6ccc3c536e9b857d247bc55ad (diff)
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-problems
Conflicts: robot/problems/introduction/forward/en.py robot/problems/introduction/forward/sl.py
Diffstat (limited to 'python/common.py')
-rw-r--r--python/common.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/python/common.py b/python/common.py
index c754a1a..2d89c19 100644
--- a/python/common.py
+++ b/python/common.py
@@ -3,6 +3,8 @@
import ast
from server.hints import Hint
+id = 2
+
hint_type = {
'no_hint': Hint('no_hint'),
'program_already_correct': Hint('program_already_correct'),