From 05b7d79819dd5f006527bef7679b06868b3e0da7 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 29 Apr 2012 13:17:31 -0400
Subject: Initial support for reusing elaboration results

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

(limited to 'src/sources')

diff --git a/src/sources b/src/sources
index 4011ce3b..551d4ca5 100644
--- a/src/sources
+++ b/src/sources
@@ -78,6 +78,9 @@ disjoint.sml
 elab_err.sig
 elab_err.sml
 
+mod_db.sig
+mod_db.sml
+
 elaborate.sig
 elaborate.sml
 
-- 
cgit v1.2.3