Skip to content

Commit

Permalink
Merge branch 'topic/libadalang/1034' into 'master'
Browse files Browse the repository at this point in the history
Adapt to LAL change on eng/libadalang/libadalang#1034

See merge request eng/libadalang/langkit-query-language!156
  • Loading branch information
thvnx committed Jan 2, 2024
2 parents fa23099 + 6d65a8c commit 20f417d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lkql_checker/share/lkql/kp/KP-TA30-032.lkql
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit 20f417d

Please sign in to comment.