Skip to content

Commit c836931

Browse files
committed
kp_t805_037.lkql: Remove unused bindings
1 parent ea93c00 commit c836931

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

lkql_checker/share/lkql/kp/kp_t805_037.lkql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,12 +6,12 @@
66
fun kp_t805_037(node) =
77
node is TypeDecl(
88
f_discriminants: part@KnownDiscriminantPart,
9-
f_type_def: r@RecordTypeDef(f_record_def: def@RecordDef)
9+
f_type_def: RecordTypeDef(f_record_def: def@RecordDef)
1010
) when {
1111
val discs = from part select DefiningName;
1212
[
1313
decl for decl in from def.f_components select c@ComponentDecl
14-
when c.f_component_def.f_type_expr is s@SubtypeIndication(
14+
when c.f_component_def.f_type_expr is SubtypeIndication(
1515
f_constraint: CompositeConstraint(
1616
p_is_discriminant_constraint(): true
1717
)

0 commit comments

Comments
 (0)