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