From fa780dbd1aba7e43b9cc989ed9733cbe65196bb9 Mon Sep 17 00:00:00 2001
From: Daniel Wagner <dmwit@galois.com>
Date: Mon, 30 Nov 2015 16:35:40 -0800
Subject: [PATCH] skip the quotation marks when reporting temp file location

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

diff --git a/src/Cryptol/Prelude.hs b/src/Cryptol/Prelude.hs
index 34ce370e..4e3a3e57 100644
--- a/src/Cryptol/Prelude.hs
+++ b/src/Cryptol/Prelude.hs
@@ -31,5 +31,5 @@ writePreludeContents = io $ do
   (path, h) <- openTempFile tmpdir "Cryptol.cry"
   hPutStr h preludeContents
   hClose h
-  print $ "Wrote Prelude to " ++ path
+  putStrLn $ "Wrote Prelude to " ++ path
   return path