diff --git a/x86_symbolic/macaw-x86-symbolic.cabal b/x86_symbolic/macaw-x86-symbolic.cabal index e1775cf6..6de2a389 100644 --- a/x86_symbolic/macaw-x86-symbolic.cabal +++ b/x86_symbolic/macaw-x86-symbolic.cabal @@ -3,7 +3,7 @@ version: 0.0.1 author: Galois, Inc. maintainer: jhendrix@galois.com build-type: Simple -cabal-version: >= 1.9.2 +cabal-version: >= 1.10 license: BSD3 license-file: LICENSE @@ -21,6 +21,7 @@ library parameterized-utils, what4 >= 0.4 hs-source-dirs: src + default-language: Haskell2010 exposed-modules: Data.Macaw.X86.Symbolic