fix settings

LeventErkok · Sep 16, 2024 · 79e2724 · 79e2724
1 parent bda5cd9
commit 79e2724
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Data/SBV/Tools/Range.hs b/Data/SBV/Tools/Range.hs
@@ -35,7 +35,7 @@ import Data.SBV.Internals hiding (Range, free_)
 -- $setup
 -- >>> -- For doctest purposes only:
 -- >>> import Data.SBV
--- >>> :set -XScopedTypeVariables
+-- >>> :set -XScopedTypeVariables -XDataKinds
 
 -- | A boundary value
 data Boundary a = Unbounded -- ^ Unbounded