From 59ac5aae8acc957895a8a170c21d7fcae0a0c2c3 Mon Sep 17 00:00:00 2001 From: Sebastien Bourdeauducq Date: Wed, 2 Mar 2022 08:33:10 +0800 Subject: [PATCH] fix error message string (2) --- nac3core/src/typecheck/type_inferencer/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/nac3core/src/typecheck/type_inferencer/mod.rs b/nac3core/src/typecheck/type_inferencer/mod.rs index 58d7492de..2637128cd 100644 --- a/nac3core/src/typecheck/type_inferencer/mod.rs +++ b/nac3core/src/typecheck/type_inferencer/mod.rs @@ -923,7 +923,7 @@ impl<'a> Inferencer<'a> { (Some((ty, true)), _) => Ok(*ty), (Some((ty, false)), false) => Ok(*ty), (Some((_, false)), true) => { - report_error(&format!("Field {} should be immutable", attr), value.location) + report_error(&format!("Field `{}` is immutable", attr), value.location) } (None, _) => { let t = self.unifier.stringify(ty);