diff --git a/website/js/repl.js b/website/js/repl.js index 7e8faa376c..8acc3c362e 100644 --- a/website/js/repl.js +++ b/website/js/repl.js @@ -44,6 +44,12 @@ var optionsConfig = [ defaultVal: "browser", description: "The target environment for Prepack" }, + { + type: "string", + name: "lazyObjectsRuntime", + defaultVal: "", + description: "Enable lazy objects feature and specify the JS runtime that supports this feature." + }, { type: "boolean", name: "omitInvariants",