From: Nicolas Luck Date: Mon, 17 Jul 2023 19:52:17 +0000 (+0200) Subject: Add back newline at end of toplevel.pl X-Git-Tag: remove^2~59 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=644559b7f793429c487693489a7e398b91cc29a3;p=scryer-prolog.git Add back newline at end of toplevel.pl --- diff --git a/src/toplevel.pl b/src/toplevel.pl index 5a36aa77..f80adc1e 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -429,4 +429,5 @@ print_exception_with_check(E) :- % number, a GNU-style error message % is expected to be printed instead. ; print_exception(E) - ). \ No newline at end of file + ). + \ No newline at end of file