From e5d31595ab6be5ccff3a8c8bb0d63e4ef95576fb Mon Sep 17 00:00:00 2001
From: "Iavor S. Diatchki" <iavor.diatchki@gmail.com>
Date: Tue, 6 Jan 2015 09:32:05 -0800
Subject: [PATCH] Update for GHC 7.10

---
 src/Cryptol/TypeCheck/Solver/CrySAT.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Cryptol/TypeCheck/Solver/CrySAT.hs b/src/Cryptol/TypeCheck/Solver/CrySAT.hs
index c0422ffe..b7a4b82e 100644
--- a/src/Cryptol/TypeCheck/Solver/CrySAT.hs
+++ b/src/Cryptol/TypeCheck/Solver/CrySAT.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE Safe #-}
 {-# LANGUAGE RecordWildCards #-}
+{-# LANGUAGE FlexibleContexts #-}
 module Cryptol.TypeCheck.Solver.CrySAT
   ( withScope, withSolver
   , assumeProps, checkDefined, simplifyProps