From ec745f90fc97e10948dc32ec4f44aabf5c6908db Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 20 Dec 2008 16:19:26 -0500
Subject: Successfully generated a page element from a signal

---
 src/config.sig | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/config.sig')

diff --git a/src/config.sig b/src/config.sig
index 6075482e..90fb72e7 100644
--- a/src/config.sig
+++ b/src/config.sig
@@ -6,6 +6,7 @@ signature CONFIG = sig
 
     val libUr : string
     val libC : string
+    val libJs : string
 
     val gccArgs : string
 end
-- 
cgit v1.2.3