GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-12 04:17:04 +03:00
Code Issues Projects Releases Wiki Activity

Enable OverloadedStrings to fix a build error

Browse Source
This commit is contained in:
Trevor Elliott 2015-08-13 14:42:10 -07:00
parent 9fa56160f8
commit a21a646af2
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Cryptol/Prelude.hs
View File

@ -10,6 +10,7 @@
{-# LANGUAGE CPP #-}
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE OverloadedStrings #-}
module Cryptol.Prelude (writePreludeContents) where