From a8ae5c1814db75525bf0ab199b0e5bd08c2c558a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 2 Aug 2012 18:12:37 -0400
Subject: New NameJs phase, still needing some debugging

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

(limited to 'src/sources')

diff --git a/src/sources b/src/sources
index 551d4ca5..b49f0ba8 100644
--- a/src/sources
+++ b/src/sources
@@ -188,6 +188,9 @@ sql.sml
 iflow.sig
 iflow.sml
 
+name_js.sig
+name_js.sml
+
 jscomp.sig
 jscomp.sml
 
-- 
cgit v1.2.3