From 0d4a5bf5d3af5ef95c53e5076d31f4bf2a23b23c Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Thu, 13 Aug 2015 22:50:23 -0700
Subject: [PATCH] Warning removal

---
 src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs b/src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs
index 5ba178ea..fe8195c0 100644
--- a/src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs
+++ b/src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs
@@ -1,3 +1,5 @@
+{-# LANGUAGE PatternGuards #-}
+
 -- | An interval interpretation of types.
 module Cryptol.TypeCheck.Solver.Numeric.Interval where