From 6d65a8caaf5e94bcbc5410e2b57f5bebcda0dd0c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Laurent=20Th=C3=A9venoux?= Date: Wed, 20 Dec 2023 14:30:59 +0100 Subject: [PATCH] Adapt to LAL change on eng/libadalang/libadalang#1034 --- lkql_checker/share/lkql/kp/KP-TA30-032.lkql | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lkql_checker/share/lkql/kp/KP-TA30-032.lkql b/lkql_checker/share/lkql/kp/KP-TA30-032.lkql index dd3e59fce..8bb7cca60 100644 --- 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