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