summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-22 17:36:33 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-22 17:36:33 +0000
commitfd10cf6997473226272b397b0ff6ebd87bd4d161 (patch)
treee1ca56ba3af58e9a76edd80169e83117694410a7
parent463f3b41ac6a17f6fe88f6c114aa849876bfcf4e (diff)
Fix singleton warnings in repl.pl
-rw-r--r--repl.pl4
1 files changed, 2 insertions, 2 deletions
diff --git a/repl.pl b/repl.pl
index 92cdffd..0bb279f 100644
--- a/repl.pl
+++ b/repl.pl
@@ -1,6 +1,6 @@
:- module(repl, []).
-repl([ProgName|Args]) :-
+repl([_ProgName|Args]) :-
write('Welcome to p-prolog version 1.'),
nl,
write('Started with args: '),
@@ -55,7 +55,7 @@ eval_and_print(Goal, Vars0, Choicecount) :-
)
; write_result(Vars, end)
).
-eval_and_print(Goal, _, _) :-
+eval_and_print(_, _, _) :-
\+ found_a_solution,
write('false .'),
nl.