1 files changed, 3 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index b1046aa6..638bb2b9 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -506,6 +506,9 @@ function uul(getToken, getData) {
     throw ("Can't unmarshal list (" + tok + ")");
 }
 
+function strcmp(str1, str2) {
+  return ((str1 == str2) ? 0 : ((str1 > str2) ? 1 : -1));
+}
 
 
 // Remote calls