From 71c58074582c14d4ff6ba38f60be80dad0e36be5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 10 Oct 2013 18:04:29 -0400
Subject: Remove debug prints

---
 src/corify.sml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src/corify.sml')

diff --git a/src/corify.sml b/src/corify.sml
index 4ab45983..c06d62ca 100644
--- a/src/corify.sml
+++ b/src/corify.sml
@@ -796,7 +796,7 @@ fun corifyDecl mods (all as (d, loc : EM.span), st) =
         end
 
       | L.DFfiStr (m, n, (sgn, _)) =>
-        (print ("~~~" ^ m ^ "\n"); case sgn of
+        (case sgn of
              L.SgnConst sgis =>
              let
                  val (ds, cmap, conmap, st, _) =
@@ -943,8 +943,6 @@ fun corifyDecl mods (all as (d, loc : EM.span), st) =
                                              | L'.CApp ((L'.CFfi ("Basis", "transaction"), _), _) => true
                                              | _ => false
                                    in
-                                       Print.epreface (x, CorePrint.p_con CoreEnv.empty c);
-
                                        if isTransactional c then
                                            let
                                                val ffi = (m, x)
-- 
cgit v1.2.3