diff --git a/crates/aiken-lang/src/air.rs b/crates/aiken-lang/src/air.rs
index c80829c7..e17e256a 100644
--- a/crates/aiken-lang/src/air.rs
+++ b/crates/aiken-lang/src/air.rs
@@ -334,7 +334,6 @@ impl Air {
                 .into(),
             ),
             Air::Var { constructor, .. } => Some(constructor.tipo.clone()),
-
             Air::List { tipo, .. }
             | Air::Tuple { tipo, .. }
             | Air::Call { tipo, .. }
diff --git a/examples/acceptance_tests/040/lib/tests.ak b/examples/acceptance_tests/040/lib/tests.ak
index 554bde33..6a16c937 100644
--- a/examples/acceptance_tests/040/lib/tests.ak
+++ b/examples/acceptance_tests/040/lib/tests.ak
@@ -10,13 +10,13 @@ pub type Car {
 
 // test update_owner2_should_fail(){
 //   let initial_car: Data = Ford{remote_connect: #[], owner: #[], wheels: 4, truck_bed_limit: 10000}
-//   assert Honda{ owner, ..} = initial_car
+//   assert Honda{ owner, ..}: Car = initial_car
 //   owner == #[]
 // }
 
 test update_owner1() {
   let initial_car: Data =
     Ford { remote_connect: #[], owner: #[], wheels: 4, truck_bed_limit: 10000 }
-  assert Ford { owner, .. } = initial_car
+  assert Ford { owner, .. }: Car = initial_car
   owner == #[]
 }