From 45f5c5e7af625fdef2cf234c148b25449ff4fb52 Mon Sep 17 00:00:00 2001
From: Kevin Quick <kquick@galois.com>
Date: Wed, 27 Feb 2019 11:52:18 -0800
Subject: [PATCH] Update cabal version for fields used.

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

diff --git a/symbolic/macaw-symbolic.cabal b/symbolic/macaw-symbolic.cabal
index 6737c893..f6227c56 100644
--- a/symbolic/macaw-symbolic.cabal
+++ b/symbolic/macaw-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
 
@@ -37,6 +37,7 @@ library
 
   ghc-options: -Wall -Wcompat
   ghc-prof-options: -O2 -fprof-auto-top
+  default-language: Haskell2010
 
   if impl(ghc >= 8.6)
     default-extensions: NoStarIsType