From e76ee80695acce02b283d12eedc26477ace15b1f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 20 Feb 2014 10:27:15 -0500
Subject: Some more nested functor bug-fixing, including generating fresh
 internal names at applications; still need to debug issues with datatype
 constructors

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

(limited to 'src/sources')

diff --git a/src/sources b/src/sources
index 7ce9a7a0..f75803a3 100644
--- a/src/sources
+++ b/src/sources
@@ -115,6 +115,9 @@ $(SRC)/core_env.sml
 $(SRC)/core_print.sig
 $(SRC)/core_print.sml
 
+$(SRC)/expl_rename.sig
+$(SRC)/expl_rename.sml
+
 $(SRC)/corify.sig
 $(SRC)/corify.sml
 
-- 
cgit v1.2.3