From b6bce85840add488924fc68ab2fff7e949646fea Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Wed, 11 Jan 2012 11:08:48 -0500
Subject: Tweak Especialize heuristic

---
 src/especialize.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/especialize.sml')

diff --git a/src/especialize.sml b/src/especialize.sml
index 02875d87..df4d0cf5 100644
--- a/src/especialize.sml
+++ b/src/especialize.sml
@@ -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 @@ fun specialize' (funcs, specialized) file =
                                 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),
-- 
cgit v1.2.3