Fix linter warning

onflow · Jan 29, 2025 · 1885788 · 1885788
1 parent 84d349b
commit 1885788
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/bbq/compiler/desugar.go b/bbq/compiler/desugar.go
@@ -479,9 +479,8 @@ func (d *Desugar) desugarPostConditions(
 
 	// Desugar self-defined post-conditions
 	if conditions != nil {
-		conditionsList := conditions.Conditions
 		postConditionsRewrite := d.elaboration.PostConditionsRewrite(conditions)
-		conditionsList = postConditionsRewrite.RewrittenPostConditions
+		conditionsList := postConditionsRewrite.RewrittenPostConditions
 
 		for _, condition := range conditionsList {
 			desugaredCondition := d.desugarCondition(condition)