From: Adam Chlipala <adamc@hcoop.net>
Date: Mon, 25 Feb 2008 00:33:05 +0000 (+0000)
Subject: Library goodies
X-Git-Tag: release_2010-11-19~42
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/22af7770a2963c3aa8fea75e6b053a9df302f80a

Library goodies
---

diff --git a/lib/hcoop.dtl b/lib/hcoop.dtl
index f538e7e..9fc5b90 100644
--- a/lib/hcoop.dtl
+++ b/lib/hcoop.dtl
@@ -19,6 +19,6 @@ val mire_ip : (ip) = "69.90.123.68";
 val krunk_ip : (ip) = "69.90.123.70";
 val fyodor_ip : (ip) = "64.20.38.170";
 
-val simple_web = \host -> \docroot -> web host where
+val simpleWeb = \host -> \docroot -> web host where
   DocumentRoot = home docroot
 with end;