Update brat/Brat/Checker/Monad.hs

Co-authored-by: Alan Lawrence <[email protected]>
CQCL · Dec 3, 2024 · 991e0dc · 991e0dc
1 parent c4ebd8c
commit 991e0dc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/brat/Brat/Checker/Monad.hs b/brat/Brat/Checker/Monad.hs
@@ -281,7 +281,7 @@ handler (Req s k) ctx g
       RemoveHope e -> let hset = hopeSet ctx in
                         if M.member e hset
                         then handler (k ()) (ctx { hopeSet = M.delete e hset }) g
-                        else Left (dumbErr (InternalError ("Trying to remove hole not in set: " ++ show e)))
+                        else Left (dumbErr (InternalError ("Trying to remove Hope not in set: " ++ show e)))
 
 type Checking = Free CheckingSig