From 8c04ab093a18c4d38240d24e44d8b839e819706f Mon Sep 17 00:00:00 2001
From: Kasey White <kwhitemsg@gmail.com>
Date: Mon, 30 Jan 2023 03:24:52 -0500
Subject: [PATCH] update test 40

---
 crates/aiken-lang/src/air.rs               | 1 -
 examples/acceptance_tests/040/lib/tests.ak | 4 ++--
 2 files changed, 2 insertions(+), 3 deletions(-)

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 == #[]
 }