diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-10-10 18:04:29 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-10-10 18:04:29 -0400 |
| commit | 71c58074582c14d4ff6ba38f60be80dad0e36be5 (patch) | |
| tree | 89074a922f4063d2981d29a2e3cef2c2a4e26057 | |
| parent | 08bee251e9471ab1c1e634e85cd2e1c3830cd566 (diff) | |
Remove debug prints
| -rw-r--r-- | src/corify.sml | 4 |
1 files changed, 1 insertions, 3 deletions
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) |