From fd1a963a81327f7b6a20a0f2ac131d2525649400 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 7 Apr 2009 14:11:32 -0400
Subject: Track uniqueness sets in table types

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

(limited to 'src/sources')

diff --git a/src/sources b/src/sources
index b2d7b855..27b6673b 100644
--- a/src/sources
+++ b/src/sources
@@ -105,9 +105,6 @@ core_untangle.sml
 especialize.sig
 especialize.sml
 
-defunc.sig
-defunc.sml
-
 rpcify.sig
 rpcify.sml
 
-- 
cgit v1.2.3