From ce10f7dbd57cb5d2273567aa536bfce79620849c Mon Sep 17 00:00:00 2001
From: Tristan Gingold
Date: Fri, 30 Oct 2015 07:11:28 +0100
Subject: Rework callbacks, support cocotb.

---
 src/grt/grt-main.adb | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src/grt/grt-main.adb')

diff --git a/src/grt/grt-main.adb b/src/grt/grt-main.adb
index 743e4b3..4b2614a 100644
--- a/src/grt/grt-main.adb
+++ b/src/grt/grt-main.adb
@@ -178,10 +178,6 @@ package body Grt.Main is
          Disp_Stats_Hook (0);
       end if;
 
-      if Status = -2 then
-         return;
-      end if;
-
       if Expect_Failure then
          if Status >= 0 then
             Expect_Failure := False;
-- 
cgit