From fd10cf6997473226272b397b0ff6ebd87bd4d161 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Thu, 22 Jul 2021 17:36:33 +0000 Subject: Fix singleton warnings in repl.pl --- repl.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'repl.pl') 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. -- cgit v1.2.3