From 808d76e169e0838a1306f6d2b587e48cec4b21c5 Mon Sep 17 00:00:00 2001 From: Hugo Sales Date: Thu, 20 Dec 2018 23:31:33 +0000 Subject: [PATCH] Formatting of error message --- polymani.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/polymani.pl b/polymani.pl index 042cd7f..26c5d97 100644 --- a/polymani.pl +++ b/polymani.pl @@ -960,7 +960,7 @@ is_polynomial_valid_in_predicate(P, F) :- write("Invalid polynomial in "), write(F), write(": "), - write(P), + writeln(P), fail. %% Tests: %% ?- is_polynomial_valid_in_predicate(1-x, "Test"). @@ -999,7 +999,7 @@ is_number_valid_in_predicate(C, F) :- write("Invalid number in "), write(F), write(": "), - write(C), + writeln(C), fail.