From f0fc4fdc5a5a2400a084a0bfe775550d3f816f60 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 17 Nov 2014 05:56:14 +0100
Subject: ortho_debug: fix incorrect assertion (don't handle array_sub).

---
 src/ortho/debug/ortho_debug-disp.adb | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/ortho/debug/ortho_debug-disp.adb b/src/ortho/debug/ortho_debug-disp.adb
index 2725668bb..7067056a7 100644
--- a/src/ortho/debug/ortho_debug-disp.adb
+++ b/src/ortho/debug/ortho_debug-disp.adb
@@ -442,13 +442,6 @@ package body Ortho_Debug.Disp is
    is
       Known : constant Boolean := Ctype /= O_Tnode_Null;
    begin
-      --  Sanity check.
-      if Known then
-         if Ctype /= C.Ctype then
-            raise Program_Error;
-         end if;
-      end if;
-
       case C.Kind is
          when OC_Unsigned_Lit =>
             if False and then (C.U_Val >= Character'Pos(' ')
-- 
cgit v1.2.3