# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1320241040 14400
# Node ID 03ad79980b55066c7f26b6f8d66b9bb4918de8da
# Parent  d5fb78321cca9777df5b3ccfb6f0fda2e281125e
Remove debug print

diff -r d5fb78321cca -r 03ad79980b55 src/elaborate.sml
--- a/src/elaborate.sml	Wed Nov 02 08:39:01 2011 -0400
+++ b/src/elaborate.sml	Wed Nov 02 09:37:20 2011 -0400
@@ -3512,9 +3512,7 @@
                                                        case (decompileCon env' c1, decompileCon env' c2) of
                                                            (SOME c1, SOME c2) =>
                                                            SOME (L.DConstraint (c1, c2), loc)
-                                                         | _ => (Print.prefaces "BAD" [("c1", p_con env' c1),
-                                                                                       ("c2", p_con env' c2)];
-                                                                 NONE)) (nconstraints nd)
+                                                         | _ => NONE) (nconstraints nd)
 
                          val ds' =
                              case SS.listItems (nvals nd) of