summaryrefslogtreecommitdiff
path: root/src/jscomp.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-01-01 10:08:22 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-01-01 10:08:22 -0500
commit04b18b668cdc26f640cfed063ae9fe845201036b (patch)
tree29c1a18a15edea62d79e1761e3c63cfc14644d2b /src/jscomp.sml
parent0db3fba5d2b9b5c0dbd8468a76b2ef75ebe40437 (diff)
Source containing an int
Diffstat (limited to 'src/jscomp.sml')
-rw-r--r--src/jscomp.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml
index bc407db8..9a67e286 100644
--- a/src/jscomp.sml
+++ b/src/jscomp.sml
@@ -34,6 +34,7 @@ structure E = MonoEnv
structure U = MonoUtil
val funcs = [(("Basis", "alert"), "alert"),
+ (("Basis", "htmlifyInt"), "ts"),
(("Basis", "htmlifyString"), "escape"),
(("Basis", "new_client_source"), "sc"),
(("Basis", "set_client_source"), "sv")]