1 files changed, 7 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index c3cab50a..76a900f7 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -1212,6 +1212,13 @@ function sidx(s, ch) {
     else
         return r;
 }
+function ssidx(h, n) {
+    var r = h.indexOf(n);
+    if (r == -1)
+        return null;
+    else
+        return r;
+}
 function sspn(s, chs) {
     for (var i = 0; i < s.length; ++i)
         if (chs.indexOf(s.charAt(i)) != -1)