From d8917a49c8baec34a468a91b4de20331dd553137 Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Fri, 6 Dec 2024 07:41:00 -0800
Subject: [PATCH] fix the version

---
 Documentation/SBV/Examples/Puzzles/AOC_2021_24.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Documentation/SBV/Examples/Puzzles/AOC_2021_24.hs b/Documentation/SBV/Examples/Puzzles/AOC_2021_24.hs
index 4598efde..cefc6ac9 100644
--- a/Documentation/SBV/Examples/Puzzles/AOC_2021_24.hs
+++ b/Documentation/SBV/Examples/Puzzles/AOC_2021_24.hs
@@ -24,7 +24,7 @@
 {-# LANGUAGE NamedFieldPuns   #-}
 {-# LANGUAGE NegativeLiterals #-}
 
-#if __GLASGOW_HASKELL__ >= 914
+#if __GLASGOW_HASKELL__ >= 913
 {-# OPTIONS_GHC -Wall -Werror -Wno-incomplete-record-selectors #-}
 #else
 {-# OPTIONS_GHC -Wall -Werror #-}