1 files changed, 3 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 6c974948..efd94bb9 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -210,6 +210,9 @@ function sb(x,y) {
     return {sources : union(xr.sources, yr.sources), data : yr.data};
   };
 }
+function scur(s) {
+  return s().data;
+}
 
 function lastParent() {
   var pos = document;