# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1381442669 14400
# Node ID c1ee5dec9cff653a5b9babaa66e3d4aa7e5d97a1
# Parent  df6a040f5389bf7762c1caa8b938f6c70629f9d3
Remove debug prints

diff -r df6a040f5389 -r c1ee5dec9cff src/corify.sml
--- a/src/corify.sml	Thu Oct 10 18:01:30 2013 -0400
+++ b/src/corify.sml	Thu Oct 10 18:04:29 2013 -0400
@@ -796,7 +796,7 @@
         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 @@
                                              | 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)