From 644559b7f793429c487693489a7e398b91cc29a3 Mon Sep 17 00:00:00 2001 From: Nicolas Luck Date: Mon, 17 Jul 2023 21:52:17 +0200 Subject: [PATCH] Add back newline at end of toplevel.pl --- src/toplevel.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.54.0