From afce89ead823b6e9eec4a0b115bbe57a89a8e912 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Thu, 31 Jul 2025 19:15:26 +0200
Subject: Remove unused keyword

---
 source/Syntax/Concrete/Keywords.hs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'source/Syntax/Concrete')

diff --git a/source/Syntax/Concrete/Keywords.hs b/source/Syntax/Concrete/Keywords.hs
index b507e7e..e10a024 100644
--- a/source/Syntax/Concrete/Keywords.hs
+++ b/source/Syntax/Concrete/Keywords.hs
@@ -183,8 +183,6 @@ _the :: Prod r Text (Located Token) SourcePos
 _the = word "the" ? "the"
 _then :: Prod r Text (Located Token) SourcePos
 _then = word "then" ? "then"
-_throughout :: Prod r Text (Located Token) SourcePos
-_throughout = word "throughout" <* optional (word "this" <* word "section") <* optional _comma <|> (word "in" <* word "the" <* word "sequel") ? "throughout"
 _thus :: Prod r Text (Located Token) SourcePos
 _thus = word "thus" <|> word "then" <|> word "hence" <|> word "now" <|> word "finally" <|> word "therefore" ? "thus"
 _trivial :: Prod r Text (Located Token) SourcePos
@@ -225,4 +223,4 @@ _to = command "to" ? "\\to"
 _mapsto :: Prod r Text (Located Token) SourcePos
 _mapsto = command "mapsto" ? "\\mapsto"
 _ampersand :: Prod r Text (Located Token) SourcePos
-_ampersand = symbol "&" ? "&"
\ No newline at end of file
+_ampersand = symbol "&" ? "&"
-- 
cgit v1.2.3