From 5cd4fe650794fdda431b6ce0ef59893078c3f11c Mon Sep 17 00:00:00 2001 From: Sebastien Bourdeauducq Date: Wed, 23 Feb 2022 11:50:03 +0800 Subject: [PATCH] update tests --- nac3core/src/typecheck/typedef/test.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/nac3core/src/typecheck/typedef/test.rs b/nac3core/src/typecheck/typedef/test.rs index e70c21d8..246ffacc 100644 --- a/nac3core/src/typecheck/typedef/test.rs +++ b/nac3core/src/typecheck/typedef/test.rs @@ -302,7 +302,7 @@ fn test_unify( ("v1", "Record[a=float,b=int]"), ("v2", "Foo[v3]"), ], - (("v1", "v2"), "`3[1]::b` field/method does not exist") + (("v1", "v2"), "`3[var4]::b` field/method does not exist") ; "record obj merge" )] /// Test cases for invalid unifications.