From 01b8175e7f38c53e9d3e09cbec767add053e3f07 Mon Sep 17 00:00:00 2001
From: Kevin Quick <kquick@galois.com>
Date: Sun, 25 Nov 2018 22:01:40 -0800
Subject: [PATCH] [x86_symbolic] Update cabal specification for compliance.

---
 x86_symbolic/macaw-x86-symbolic.cabal | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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