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.