From 55b1d510131724ec767a7a1eef0665c6bf86bedc Mon Sep 17 00:00:00 2001 From: gingold Date: Mon, 2 Jun 2008 04:38:41 +0000 Subject: Fix 'delayed(0) at time 0 --- translate/grt/grt-signals.adb | 11 ++++++++--- 1 file 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; -- cgit v1.2.3