diff options
Diffstat (limited to 'src/grt/grt-options.adb')
| -rw-r--r-- | src/grt/grt-options.adb | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb index 806d77479..3c4acb215 100644 --- a/src/grt/grt-options.adb +++ b/src/grt/grt-options.adb @@ -22,12 +22,10 @@ -- covered by the GNU General Public License. This exception does not -- however invalidate any other reasons why the executable file might be -- covered by the GNU Public License. -with System; with Interfaces; use Interfaces; with Grt.Errors; use Grt.Errors; with Grt.Astdio; with Grt.Hooks; -with Grt.Callbacks; package body Grt.Options is @@ -221,16 +219,6 @@ package body Grt.Options is end if; end To_Lower; - Stop_Time : Std_Time := Std_Time'First; - - procedure Stop_Time_Callback (Arg : System.Address) - is - pragma Unreferenced (Arg); - begin - Break_Simulation := True; - Info ("simulation stopped by --stop-time"); - end Stop_Time_Callback; - procedure Decode_Option (Option : String; Status : out Decode_Option_Status) is @@ -530,16 +518,5 @@ package body Grt.Options is end case; end; end loop; - - if Stop_Time /= Std_Time'First then - declare - use Callbacks; - Stop_Handle : Callback_Handle; - begin - Register_Callback_At - (Hooks.Cb_After_Delay, Stop_Handle, - Stop_Time, Stop_Time_Callback'Access); - end; - end if; end Decode; end Grt.Options; |
