From e77850d687754750ab9e9f2aa8113eb9d7a73fd6 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Fri, 11 Sep 2015 10:59:27 +0200 Subject: s/hint_defs/hint_type/g --- prolog/problems/family_relations/father_2/common.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'prolog/problems/family_relations/father_2') diff --git a/prolog/problems/family_relations/father_2/common.py b/prolog/problems/family_relations/father_2/common.py index 81191d3..ba6a166 100644 --- a/prolog/problems/family_relations/father_2/common.py +++ b/prolog/problems/family_relations/father_2/common.py @@ -18,7 +18,7 @@ father(X, Y) :- male(X). ''' -hint_defs = { +hint_type = { 'general_hint': HintSequence('general_hint', 3), 'or_instead_of_and': Hint('or_instead_of_and'), 'x_must_be_male': Hint('x_must_be_male'), -- cgit v1.2.1