From e7e2ffc58a4f120801ae69217032948e511af213 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 26 Jan 2008 16:02:47 -0500
Subject: Elaborating files

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

(limited to 'src/sources')

diff --git a/src/sources b/src/sources
index 9c879139..8cc24a1e 100644
--- a/src/sources
+++ b/src/sources
@@ -1,3 +1,6 @@
+list_util.sig
+list_util.sml
+
 errormsg.sig
 errormsg.sml
 
-- 
cgit v1.2.3