diff options
Diffstat (limited to 'translate/grt')
| -rw-r--r-- | translate/grt/grt-signals.adb | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/translate/grt/grt-signals.adb b/translate/grt/grt-signals.adb index a0da211..77a453b 100644 --- a/translate/grt/grt-signals.adb +++ b/translate/grt/grt-signals.adb @@ -2709,10 +2709,15 @@ package body Grt.Signals is if Last.Time > Trans.Time then Internal_Error ("delayed time"); elsif Last.Time = Trans.Time then - if Prev = Last then - Internal_Error ("delayed"); + if Prev /= Last then + Free (Last); + else + -- No transaction. + if Last.Time /= 0 then + -- This can happen only at time = 0. + Internal_Error ("delayed"); + end if; end if; - Free (Last); else Prev := Last; end if; |