From e77850d687754750ab9e9f2aa8113eb9d7a73fd6 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@araneo.org>
Date: Fri, 11 Sep 2015 10:59:27 +0200
Subject: s/hint_defs/hint_type/g

---
 prolog/common.py                                     | 2 +-
 prolog/problems/family_relations/brother_2/common.py | 2 +-
 prolog/problems/family_relations/father_2/common.py  | 2 +-
 prolog/problems/family_relations/mother_2/common.py  | 2 +-
 prolog/problems/family_relations/sister_2/common.py  | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/prolog/common.py b/prolog/common.py
index afba98f..02c74d0 100644
--- a/prolog/common.py
+++ b/prolog/common.py
@@ -4,7 +4,7 @@ import operator
 import prolog.engine
 from server.hints import Hint, HintSequence
 
-hint_defs = {
+hint_type = {
     'no_hint': HintSequence('no_hint', 4),
     'test_results': Hint('test_results'),
     'syntax_error': Hint('syntax_error'),
diff --git a/prolog/problems/family_relations/brother_2/common.py b/prolog/problems/family_relations/brother_2/common.py
index f2bfa15..4c8a4f3 100644
--- a/prolog/problems/family_relations/brother_2/common.py
+++ b/prolog/problems/family_relations/brother_2/common.py
@@ -20,7 +20,7 @@ brother(X, Y) :-
   X \== Y.
 '''
 
-hint_defs = {
+hint_typs = {
     'general_hint': HintSequence('general_hint', 3),
     'x_must_be_male': Hint('x_must_be_male'),
     'common_parent_needed': Hint('common_parent_needed'),
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'),
diff --git a/prolog/problems/family_relations/mother_2/common.py b/prolog/problems/family_relations/mother_2/common.py
index 09a641a..42ca248 100644
--- a/prolog/problems/family_relations/mother_2/common.py
+++ b/prolog/problems/family_relations/mother_2/common.py
@@ -18,7 +18,7 @@ mother(X, Y) :-
   female(X).
 '''
 
-hint_defs = {
+hint_type = {
     'general_hint': HintSequence('general_hint', 3),
     'or_instead_of_and': Hint('or_instead_of_and'),
     'x_must_be_female': Hint('x_must_be_female'),
diff --git a/prolog/problems/family_relations/sister_2/common.py b/prolog/problems/family_relations/sister_2/common.py
index 46d54f3..0dfdc64 100644
--- a/prolog/problems/family_relations/sister_2/common.py
+++ b/prolog/problems/family_relations/sister_2/common.py
@@ -20,7 +20,7 @@ sister(X, Y) :-
   X \== Y.
 '''
 
-hint_defs = {
+hint_type = {
     'general_hint': HintSequence('general_hint', 3),
     'x_must_be_female': Hint('x_must_be_female'),
     'common_parent_needed': Hint('common_parent_needed'),
-- 
cgit v1.2.1