From b803332f9918a345d902b43c35c693f2cfc97c05 Mon Sep 17 00:00:00 2001 From: Matthias Benkort <5680256+KtorZ@users.noreply.github.com> Date: Thu, 9 Feb 2023 09:25:33 +0100 Subject: [PATCH] Update crates/aiken-lang/src/tipo/error.rs --- crates/aiken-lang/src/tipo/error.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/aiken-lang/src/tipo/error.rs b/crates/aiken-lang/src/tipo/error.rs index 5a24446b..c481ffbf 100644 --- a/crates/aiken-lang/src/tipo/error.rs +++ b/crates/aiken-lang/src/tipo/error.rs @@ -1086,7 +1086,7 @@ pub enum Warning { location: Span, #[label("only one constructor")] pattern_location: Span, - #[label("is not {}", "Data".purple())] + #[label("is not Data")] value_location: Span, sample: UntypedExpr, },