summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2019-03-30 20:11:18 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2019-03-30 20:11:18 -0400
commit36cf7530768eeec286e4a07a5794c0e1b27b8c3f (patch)
treeb3ec7a8c16fd8ecea0c52c2f89fab8aab7f02db7 /src
parent8e561ed471518c426c59f210f5ea07d4f178cbe5 (diff)
Allow Basis.currentUrl on client side
Diffstat (limited to 'src')
-rw-r--r--src/settings.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml
index edc03d4c..ac403027 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -327,6 +327,7 @@ val jsFuncsBase = basisM [("alert", "alert"),
("checkUrl", "checkUrl"),
("bless", "bless"),
("blessData", "blessData"),
+ ("currentUrl", "currentUrl"),
("eq_time", "eq"),
("lt_time", "lt"),