Add back newline at end of toplevel.pl

2023-07-17 21:52:17 +02:00
parent bb95ed3ad0
commit 644559b7f7
1 changed files with 2 additions and 1 deletions
--- 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)
-    ).
+    ).
+