From 5589bbb157618cfad51664a24ca8a4749166e295 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 5 Jul 2020 06:50:36 +0200
Subject: ortho/debug: Disable_Checks flag also disable type checks.

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

(limited to 'src/ortho/debug')

diff --git a/src/ortho/debug/ortho_debug.adb b/src/ortho/debug/ortho_debug.adb
index a4c5bc578..bf28022da 100644
--- a/src/ortho/debug/ortho_debug.adb
+++ b/src/ortho/debug/ortho_debug.adb
@@ -268,7 +268,9 @@ package body Ortho_Debug is
       then
          return;
       end if;
-      raise Type_Error;
+      if not Disable_Checks then
+         raise Type_Error;
+      end if;
    end Check_Type;
 
    procedure Check_Ref (N : O_Enode) is
-- 
cgit v1.2.3