From a722e6499b5ec84ded06ee99227ce2b6e33ad5df Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Sun, 13 Mar 2016 21:24:52 +0100
Subject: Forgot to add hint definition for fail_rule

---
 prolog/common.py | 3 ++-
 prolog/sl.py     | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

(limited to 'prolog')

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>
 ''',
 }
-- 
cgit v1.2.1