summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-17 15:49:03 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-17 15:49:13 +0100
commit426c9ce471d04b1e70f30d7b404ae4321fb0f663 (patch)
treea35d5579b084e6f0b73ed75bbcbf4ba74fba17f7
parentdb807267522c4e25a17b1a7fba6a9828ad91e13d (diff)
Oops, missed a minus
-rw-r--r--prolog/problems/lists_advanced/max_2/common.py2
-rw-r--r--prolog/problems/lists_advanced/min_2/common.py2
2 files changed, 2 insertions, 2 deletions
diff --git a/prolog/problems/lists_advanced/max_2/common.py b/prolog/problems/lists_advanced/max_2/common.py
index a0d2b42..86f0e5a 100644
--- a/prolog/problems/lists_advanced/max_2/common.py
+++ b/prolog/problems/lists_advanced/max_2/common.py
@@ -73,7 +73,7 @@ def hint(code, aux_code):
[{'id': 'eq_instead_of_equ'}]
# missing/failed base case
- if not prolog.engine.ask_truthTO(engine_id, 'max([-45], 45)'):
+ if not prolog.engine.ask_truthTO(engine_id, 'max([-45], -45)'):
return [{'id': 'base_case'}]
# target predicate seems to always be false
diff --git a/prolog/problems/lists_advanced/min_2/common.py b/prolog/problems/lists_advanced/min_2/common.py
index 649edd5..f2412fd 100644
--- a/prolog/problems/lists_advanced/min_2/common.py
+++ b/prolog/problems/lists_advanced/min_2/common.py
@@ -73,7 +73,7 @@ def hint(code, aux_code):
[{'id': 'eq_instead_of_equ'}]
# missing/failed base case
- if not prolog.engine.ask_truthTO(engine_id, 'min([-45], 45)'):
+ if not prolog.engine.ask_truthTO(engine_id, 'min([-45], -45)'):
return [{'id': 'base_case'}]
# target predicate seems to always be false