From 6d1ea82d46cb6f34b45d6e5abab29cacf006f1fb Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 9 Nov 2008 16:54:42 -0500
Subject: Defunctionalization gets CommentBlog working

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

(limited to 'src/sources')

diff --git a/src/sources b/src/sources
index 252ffe44..bddcac67 100644
--- a/src/sources
+++ b/src/sources
@@ -105,6 +105,9 @@ especialize.sml
 core_untangle.sig
 core_untangle.sml
 
+defunc.sig
+defunc.sml
+
 tag.sig
 tag.sml
 
-- 
cgit v1.2.3