diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-01-01 10:08:22 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-01-01 10:08:22 -0500 |
| commit | 62e9d88be744f971152166280d522e78f4ddb574 (patch) | |
| tree | 29c1a18a15edea62d79e1761e3c63cfc14644d2b /src/jscomp.sml | |
| parent | c25af86ae9310055dd594f6330e39f93c9f24cb7 (diff) | |
Source containing an int
Diffstat (limited to 'src/jscomp.sml')
| -rw-r--r-- | src/jscomp.sml | 1 |
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")] |