1 files changed, 7 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index be3d652a..0cc66bc7 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -360,6 +360,13 @@ function sidx(s, ch) {
   else
     return r;
 }
+function sspn(s, chs) {
+  for (var i = 0; i < s.length; ++i)
+    if (chs.indexOf(s[i]) != -1)
+      return i;
+
+  return null;
+}
 function schr(s, ch) {
   var r = s.indexOf(ch);
   if (r == -1)