summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
Diffstat (limited to 'prolog')
-rw-r--r--prolog/common.py3
-rw-r--r--prolog/sl.py2
2 files changed, 3 insertions, 2 deletions
diff --git a/prolog/common.py b/prolog/common.py
index 16f7769..5187c65 100644
--- a/prolog/common.py
+++ b/prolog/common.py
@@ -19,6 +19,7 @@ hint_type = {
'monkey_remove': HintPopup('monkey_remove', style='remove'),
'noncapitalised_variable': Hint('noncapitalised_variable'),
'noncapitalised_variable_markup': HintPopup('noncapitalised_variable_markup'),
+ 'fail_rule': HintPopup('fail_rule'),
}
# Check program for syntax errors.
@@ -45,7 +46,7 @@ def hint(code, aux_code):
t1 = tokens[i+1]
t2 = tokens[i+2]
if t.val == ':-' and t1.val in ('fail', 'false') and t2.val == '.':
- hints += [{'id': 'fail_rule_markup', 'start': t.pos, 'end': t2.pos + len(t2.val)}]
+ hints += [{'id': 'fail_rule', 'start': t.pos, 'end': t2.pos + len(t2.val)}]
# a,b,c are a bit dangerous when crossing the river exercise is being solved
# what about potential numbers after letters?
diff --git a/prolog/sl.py b/prolog/sl.py
index ea15f93..2c7f344 100644
--- a/prolog/sl.py
+++ b/prolog/sl.py
@@ -54,7 +54,7 @@ hint = {
<p>Je prav, da je to pisano z malo?</p>
''',
- 'fail_rule_markup': '''\
+ 'fail_rule': '''\
<p>Pravila, ki nikoli ne drži, nikoli ne potrebuješ.</p>
''',
}