diff options
| author | Alasdair | 2020-05-15 12:10:22 +0100 |
|---|---|---|
| committer | Alasdair | 2020-05-15 12:10:22 +0100 |
| commit | 74da1d93d78e606a7c855f2a427dbd171fd861c5 (patch) | |
| tree | 1a5abfd6f05348dec3891adce6486ad95e49b314 /test/typecheck | |
| parent | 865c48950cdf0e35ad83e7ea7560241d24971ec4 (diff) | |
Update type error messages for jenkins
Location info fixes changed the location reported for an expected type error very slightly
Diffstat (limited to 'test/typecheck')
| -rw-r--r-- | test/typecheck/pass/reg_32_64/v1.expect | 4 |
1 files changed, 2 insertions, 2 deletions
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: -[[96mreg_32_64/v1.sail[0m]:35:9-28 +[[96mreg_32_64/v1.sail[0m]:35:2-6 35[96m |[0m R(0) = 0xCAFE_CAFE_0000_00; - [91m |[0m [91m^-----------------^[0m + [91m |[0m [91m^--^[0m [91m |[0m No overloading for R, tried: [91m |[0m [94m*[0m set_R [91m |[0m Could not resolve quantifiers for set_R |