diff options
| -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 |