aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/ortho/debug/ortho_debug.adb7
1 files changed, 2 insertions, 5 deletions
diff --git a/src/ortho/debug/ortho_debug.adb b/src/ortho/debug/ortho_debug.adb
index 3617ebbc8..58e46b098 100644
--- a/src/ortho/debug/ortho_debug.adb
+++ b/src/ortho/debug/ortho_debug.adb
@@ -786,14 +786,11 @@ package body Ortho_Debug is
-- The element must either be ATYPE element or a constrained subtype
-- of it.
if El_Type /= Atype.El_Type then
- if El_Type.Kind = ON_Array_Subtype then
- if El_Type.Arr_Base /= Atype.El_Type then
- raise Type_Error;
- end if;
- else
+ if Get_Base_Type (El_Type) /= Atype.El_Type then
raise Type_Error;
end if;
end if;
+ Check_Constrained_Type (El_Type);
return new O_Tnode_Sub_Array'(Kind => ON_Array_Subtype,
Decl => O_Dnode_Null,