1 files changed, 4 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index f05957a0..015befa6 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -976,6 +976,10 @@ function pflo(s) {
         return null;
 }
 
+function parseSource(s1, s2) {
+    return eval("s" + s1 + "_" + s2);
+}
+
 function uf(s) {
     if (s.length == 0)
         return "_";