From 308577027577dca6f8c22a631b63bc50c19ce645 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Wed, 7 Jan 2026 15:34:44 +0100
Subject: Fix error message for duplicate markers

---
 source/Checking.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'source/Checking.hs')

diff --git a/source/Checking.hs b/source/Checking.hs
index 7ff16f3..755d769 100644
--- a/source/Checking.hs
+++ b/source/Checking.hs
@@ -368,7 +368,7 @@ withLabel loc marker ma = do
     st <- get
     let markers = definedMarkers st
     if HS.member marker markers
-        then throwWithMarker (DuplicateMarker loc)
+        then throwIO (DuplicateMarker loc marker)
         else put st{definedMarkers = HS.insert marker markers}
     -- Set the marker as the label of the current block and upate the step location.
     modify \st -> st{blockLabel = marker, stepLocation = loc}
-- 
cgit v1.2.3