diff src/elaborate.sml @ 1586:03ad79980b55

Remove debug print
author Adam Chlipala <adam@chlipala.net>
date Wed, 02 Nov 2011 09:37:20 -0400
parents d5fb78321cca
children 65d6488c82d5
line wrap: on
line diff
--- 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