# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1326298128 18000
# Node ID 4cacced4a6da36e5460f7bc873f3e4d97464589c
# Parent  dae2c6fbf16cc12c37d7012faf43f07853697e51
Tweak Especialize heuristic

diff -r dae2c6fbf16c -r 4cacced4a6da src/especialize.sml
--- a/src/especialize.sml	Tue Jan 10 17:38:00 2012 -0500
+++ b/src/especialize.sml	Wed Jan 11 11:08:48 2012 -0500
@@ -1,4 +1,4 @@
-(* Copyright (c) 2008-2010, Adam Chlipala
+(* Copyright (c) 2008-2011, Adam Chlipala
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
@@ -349,7 +349,7 @@
                                 if IS.member (#specialized st, f) then
                                     n
                                 else
-                                    5 + 2 *n
+                                    5 + n
                         in
                             (*Print.prefaces "Func" [("name", Print.PD.string name),
                                                    ("e", CorePrint.p_exp CoreEnv.empty e),