Adapt to LAL change on eng/libadalang/libadalang#1034

AdaCore · Jan 2, 2024 · 6d65a8c · 6d65a8c
1 parent fa23099
commit 6d65a8c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lkql_checker/share/lkql/kp/KP-TA30-032.lkql b/lkql_checker/share/lkql/kp/KP-TA30-032.lkql
@@ -6,7 +6,7 @@ import stdlib
 fun range_length(t) =
     match t.f_type_def.f_indices.f_types[1]
     | u@UnconstrainedArrayIndex => stdlib.number_of_values(
-        u.f_subtype_indication.f_name.p_referenced_decl()
+        u.f_subtype_name.p_referenced_decl()
       )
     | *                         => -1