Merge branch 'main' into ast-refactor

lambdaclass · Jun 5, 2024 · 52250db · 52250db
2 parents d126154 + 36a3006
commit 52250db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crates/concrete_check/src/linearity_check/errors.rs b/crates/concrete_check/src/linearity_check/errors.rs
@@ -6,7 +6,7 @@ use thiserror::Error;
 pub enum LinearityError {
     #[error("Variable {variable} not consumed")]
     NotConsumed { variable: String },
-    #[error("Borrowed mutably and used for Variable {variable}")]
+    #[error("Borrowed mutably and used for variable {variable}")]
     BorrowedMutUsed { variable: String },
     #[error("Variable {variable} borrowed mutably more than once")]
     BorrowedMutMoreThanOnce { variable: String },