From d90f4065bdbdc289e07ea55bc5bd7b977cabba34 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 21 Oct 2016 14:28:21 -0400 Subject: Make JavaScript boolToString use right capitalization --- src/settings.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/settings.sml b/src/settings.sml index 5662d9d6..70ea1861 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -290,7 +290,7 @@ val jsFuncsBase = basisM [("alert", "alert"), ("attrifyInt", "ts"), ("attrifyFloat", "ts"), ("attrifyBool", "bs"), - ("boolToString", "ts"), + ("boolToString", "bs"), ("str1", "id"), ("strsub", "sub"), ("strsuffix", "suf"), -- cgit v1.2.3