summaryrefslogtreecommitdiff
path: root/prolog/problems/lists/memb_2/sl.py
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/lists/memb_2/sl.py')
-rw-r--r--prolog/problems/lists/memb_2/sl.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/problems/lists/memb_2/sl.py b/prolog/problems/lists/memb_2/sl.py
index 5b44521..f2d0ce2 100644
--- a/prolog/problems/lists/memb_2/sl.py
+++ b/prolog/problems/lists/memb_2/sl.py
@@ -30,7 +30,7 @@ hint = {
'eq_instead_of_equ': '''\
<p>Operator <code>==</code> je strožji od operatorja <code>=</code> v smislu, da je za slednjega dovolj,
da elementa lahko naredi enaka (unifikacija). Morda z uporabo <code>=</code> narediš predikat
-<code>member/2</code> delujoč tudi v kakšni drugi smeri.</p>
+<code>memb/2</code> delujoč tudi v kakšni drugi smeri.</p>
''',
'eq_instead_of_equ_markup': '''\