From e27f10a33792285471c66dd2b5f97bc47a93efc9 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 6 Feb 2017 08:32:00 +0100
Subject: Apply No_Return pragma only on specs.  Create specs if needed.

---
 src/grt/grt-signals.adb | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/grt')

diff --git a/src/grt/grt-signals.adb b/src/grt/grt-signals.adb
index 2d4eae3b0..e5afe588a 100644
--- a/src/grt/grt-signals.adb
+++ b/src/grt/grt-signals.adb
@@ -519,6 +519,9 @@ package body Grt.Signals is
       end case;
    end Value_Equal;
 
+   procedure Error_Trans_Error (Trans : Transaction_Acc);
+   pragma No_Return (Error_Trans_Error);
+
    procedure Error_Trans_Error (Trans : Transaction_Acc) is
    begin
       Error_C ("range check error on signal at ");
@@ -527,7 +530,6 @@ package body Grt.Signals is
       Error_C (Natural (Trans.Line));
       Error_E ("");
    end Error_Trans_Error;
-   pragma No_Return (Error_Trans_Error);
 
    function Find_Driver (Sig : Ghdl_Signal_Ptr) return Ghdl_Index_Type
    is
-- 
cgit v1.2.3