diff options
Diffstat (limited to 'c/src/ada-tests')
-rw-r--r-- | c/src/ada-tests/support/test_support.adb | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/c/src/ada-tests/support/test_support.adb b/c/src/ada-tests/support/test_support.adb index d6be419010..379f0dfdae 100644 --- a/c/src/ada-tests/support/test_support.adb +++ b/c/src/ada-tests/support/test_support.adb @@ -133,11 +133,11 @@ package body Test_Support is Text_IO.Put_Line( "<pause> " ); -- Text_IO.Get_Line( Ignored_String, Ignored_Last ); - exception + -- exception - when Text_IO.End_Error => - -- ignore this error. It happens when redirecting input from /dev/null - return; + -- when Text_IO.End_Error => + -- -- ignore this error. It happens when redirecting input from /dev/null + -- return; end Pause; @@ -159,13 +159,13 @@ package body Test_Support is Text_IO.Put( "<pause - screen " ); Unsigned32_IO.Put( SCREEN, Width=>2 ); Text_IO.Put_Line( "> " ); - Text_IO.Get_Line( Ignored_String, Ignored_Last ); + -- Text_IO.Get_Line( Ignored_String, Ignored_Last ); - exception + -- exception - when Text_IO.End_Error => - -- ignore this error. It happens when redirecting input from /dev/null - return; + -- when Text_IO.End_Error => + -- -- ignore this error. It happens when redirecting input from /dev/null + -- return; end Pause_And_Screen_Number; |