aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--translate/grt/grt-signals.adb11
1 files changed, 8 insertions, 3 deletions
diff --git a/translate/grt/grt-signals.adb b/translate/grt/grt-signals.adb
index a0da21130..77a453ba3 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;