1 files changed, 1 insertions, 1 deletions
diff --git a/docs/repl.js b/docs/repl.js
index 0627d87e..4bdb653f 100644
--- a/docs/repl.js
+++ b/docs/repl.js
@@ -26,7 +26,7 @@ let repl = ()=>{
   setcount(s);
   setTimeout(() => {
     try {
-      let c=compile(src,runtime);
+      let c=compile(src,rt_sys);
       setExplain(src,c);
       doc.rslt.textContent=fmt(run.apply(null,c));
     } catch(e) {