diff src/corify.sml @ 1879:c1ee5dec9cff

Remove debug prints
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Oct 2013 18:04:29 -0400
parents df6a040f5389
children 6745eafff617
line wrap: on
line diff
--- 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)