From 76b2396830aee9327b15507e0e91fa5606771b72 Mon Sep 17 00:00:00 2001
From: KtorZ <matthias.benkort@gmail.com>
Date: Fri, 17 Feb 2023 16:43:07 +0100
Subject: [PATCH] Fix offset location for 'SingleConstructorExpect' warnings.

---
 crates/aiken-lang/src/tipo/expr.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/aiken-lang/src/tipo/expr.rs b/crates/aiken-lang/src/tipo/expr.rs
index f2caea17..7eabeb90 100644
--- a/crates/aiken-lang/src/tipo/expr.rs
+++ b/crates/aiken-lang/src/tipo/expr.rs
@@ -981,7 +981,7 @@ impl<'a, 'b> ExprTyper<'a, 'b> {
                 .push(Warning::SingleConstructorExpect {
                     location: Span {
                         start: location.start,
-                        end: kind.location_offset(),
+                        end: location.start + kind.location_offset(),
                     },
                     pattern_location: dbg!(untyped_pattern.location()),
                     value_location: dbg!(untyped_value.location()),