diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-17 15:49:03 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-17 15:49:13 +0100 |
| commit | 426c9ce471d04b1e70f30d7b404ae4321fb0f663 (patch) | |
| tree | a35d5579b084e6f0b73ed75bbcbf4ba74fba17f7 /prolog | |
| parent | db807267522c4e25a17b1a7fba6a9828ad91e13d (diff) | |
Oops, missed a minus
Diffstat (limited to 'prolog')
| -rw-r--r-- | prolog/problems/lists_advanced/max_2/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/lists_advanced/min_2/common.py | 2 |
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 |