From f54bfbcebc7a7f9fbb9a413c2f2210051d0485cc Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 18 Dec 2016 18:33:12 +0100
Subject: ortho_debug: suppress one more check with Disable_Checks.

---
 src/ortho/debug/ortho_debug.adb | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/ortho')

diff --git a/src/ortho/debug/ortho_debug.adb b/src/ortho/debug/ortho_debug.adb
index 6e9b2b89d..3645b89e8 100644
--- a/src/ortho/debug/ortho_debug.adb
+++ b/src/ortho/debug/ortho_debug.adb
@@ -222,6 +222,9 @@ package body Ortho_Debug is
    is
       Res : Boolean;
    begin
+      if Disable_Checks then
+         return;
+      end if;
       case Decl.Kind is
          when ON_Interface_Decl =>
             Res := Decl.Func_Scope.Alive;
-- 
cgit v1.2.3