From 23d4ee74243e0d9d630c863e83403d25e926ff88 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 9 Nov 2008 11:53:52 -0500
Subject: Especialize working reasonably well; need to add new closure
 representation pass

---
 src/sources | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/sources')

diff --git a/src/sources b/src/sources
index 9fd90e8c..252ffe44 100644
--- a/src/sources
+++ b/src/sources
@@ -96,6 +96,9 @@ unpoly.sml
 specialize.sig
 specialize.sml
 
+reduce_local.sig
+reduce_local.sml
+
 especialize.sig
 especialize.sml
 
-- 
cgit v1.2.3