From bf66a540f165fe6bf285732bb203e03a33b190ec Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 14 Nov 2011 09:15:10 -0500
Subject: Better error messages about server-side use of client-side functions

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

(limited to 'src/sources')

diff --git a/src/sources b/src/sources
index 862845d5..5d1f099d 100644
--- a/src/sources
+++ b/src/sources
@@ -189,6 +189,9 @@ jscomp.sml
 pathcheck.sig
 pathcheck.sml
 
+sidecheck.sig
+sidecheck.sml
+
 cjr.sml
 
 postgres.sig
-- 
cgit v1.2.3