fix the version

LeventErkok · Dec 6, 2024 · d8917a4 · d8917a4
1 parent 7f7d568
commit d8917a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 #-}