Skip to content

Commit

Permalink
Addresses #726
Browse files Browse the repository at this point in the history
  • Loading branch information
LeventErkok committed Oct 2, 2024
1 parent bca37e9 commit 2d325b6
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion Data/SBV/Core/Model.hs
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,7 @@

{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE ConstrainedClassMethods #-}
{-# LANGUAGE CPP #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE DeriveFunctor #-}
Expand Down Expand Up @@ -64,7 +65,10 @@ import GHC.Generics (M1(..), U1(..), (:*:)(..), K1(..))
import qualified GHC.Generics as G

import GHC.Stack
import GHC.TypeLits hiding (SChar)
import GHC.TypeLits
#if MIN_VERSION_base(4,18,0)
hiding(SChar)
#endif

import Data.Array (Array, Ix, elems, bounds, rangeSize)
import qualified Data.Array as DA (listArray)
Expand Down

0 comments on commit 2d325b6

Please sign in to comment.