diff options
Diffstat (limited to 'translate/grt/grt-processes.adb')
-rw-r--r-- | translate/grt/grt-processes.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/translate/grt/grt-processes.adb b/translate/grt/grt-processes.adb index 54eb28b..d8d8a61 100644 --- a/translate/grt/grt-processes.adb +++ b/translate/grt/grt-processes.adb @@ -853,7 +853,9 @@ package body Grt.Processes is exit; end if; if Current_Time > Stop_Time then - Info ("simulation stopped by --stop-time"); + if Current_Time /= Last_Time then + Info ("simulation stopped by --stop-time"); + end if; exit; end if; end loop; |