From 2bafa3771e15adf2f3a579335ea9689b9d430d0a Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Sat, 7 Jan 2023 18:43:20 +0300
Subject: [PATCH] Fix tests

---
 test/aeso_compiler_tests.erl                     | 5 +----
 test/contracts/toplevel_constants_invalid_id.aes | 1 -
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl
index 1bd84a0..ed50821 100644
--- a/test/aeso_compiler_tests.erl
+++ b/test/aeso_compiler_tests.erl
@@ -1264,10 +1264,7 @@ failing_contracts() ->
                   [<<?Pos(2,9)
                      "The name of the compile-time constant cannot have pattern matching">>,
                    <<?Pos(3,9)
-                     "The name of the compile-time constant cannot have pattern matching">>,
-                   <<?Pos(4,20)
-                     "Cannot unify `string` and `bool`\n"
-                     "when checking the type of the expression `\"str\" : string` against the expected type `bool`">>
+                     "The name of the compile-time constant cannot have pattern matching">>
                   ])
     ].
 
diff --git a/test/contracts/toplevel_constants_invalid_id.aes b/test/contracts/toplevel_constants_invalid_id.aes
index 719a932..3b1820b 100644
--- a/test/contracts/toplevel_constants_invalid_id.aes
+++ b/test/contracts/toplevel_constants_invalid_id.aes
@@ -1,4 +1,3 @@
 contract C =
     let x::_ = [1,2,3,4]
     let y::(p = z::_) = [1,2,3,4]
-    let q : bool = "str"