From a21a646af2231224ee6ec5a4d2363edeb776754c Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Thu, 13 Aug 2015 14:42:10 -0700
Subject: [PATCH] Enable OverloadedStrings to fix a build error

---
 src/Cryptol/Prelude.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Cryptol/Prelude.hs b/src/Cryptol/Prelude.hs
index 3ba82e3b..579bf7c2 100644
--- a/src/Cryptol/Prelude.hs
+++ b/src/Cryptol/Prelude.hs
@@ -10,6 +10,7 @@
 
 {-# LANGUAGE CPP #-}
 {-# LANGUAGE QuasiQuotes #-}
+{-# LANGUAGE OverloadedStrings #-}
 
 module Cryptol.Prelude (writePreludeContents) where