Add back newline at end of toplevel.pl

diff --git a/src/toplevel.pl b/src/toplevel.pl
index 5a36aa77d25b1a891741ffeb834ba4b240d101b7..f80adc1e923beeda944869d07ea52caacede249a 100644 (file)
--- 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