From 74da1d93d78e606a7c855f2a427dbd171fd861c5 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Fri, 15 May 2020 12:10:22 +0100
Subject: Update type error messages for jenkins

Location info fixes changed the location reported for an expected type error very slightly
---
 test/typecheck/pass/reg_32_64/v1.expect | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test')

diff --git a/test/typecheck/pass/reg_32_64/v1.expect b/test/typecheck/pass/reg_32_64/v1.expect
index eb398991..4c80e83d 100644
--- a/test/typecheck/pass/reg_32_64/v1.expect
+++ b/test/typecheck/pass/reg_32_64/v1.expect
@@ -1,7 +1,7 @@
 Type error:
-[reg_32_64/v1.sail]:35:9-28
+[reg_32_64/v1.sail]:35:2-6
 35 |  R(0) = 0xCAFE_CAFE_0000_00;
-   |         ^-----------------^
+   |  ^--^
    | No overloading for R, tried:
    | * set_R
    |    Could not resolve quantifiers for set_R
-- 
cgit v1.2.3