diff src/settings.sml @ 1599:252e05bf199d

Regenerate proper Autotools files; fix JS stringToTime and add stringToTime_error
author Adam Chlipala <adam@chlipala.net>
date Fri, 18 Nov 2011 17:17:22 -0500
parents e283ca05c829
children c6cc104a47ac
line wrap: on
line diff
--- a/src/settings.sml	Thu Nov 17 17:19:10 2011 +0100
+++ b/src/settings.sml	Fri Nov 18 17:17:22 2011 -0500
@@ -204,7 +204,8 @@
 val basisM = foldl (fn ((k, v : string), m) => M.insert (m, ("Basis", k), v)) M.empty
 
 val jsFuncsBase = basisM [("alert", "alert"),
-                          ("stringToTime","stringToTime"),
+                          ("stringToTime", "stringToTime"),
+                          ("stringToTime_error", "stringToTime_error"),
                           ("confirm", "confrm"),
                           ("get_client_source", "sg"),
                           ("current", "scur"),