diff --git a/assets/scripts.js b/assets/scripts.js index 0ddbc52..e85408b 100644 --- a/assets/scripts.js +++ b/assets/scripts.js @@ -60,9 +60,9 @@ function preconditionToJS(cond) { } else if (cond[0] == 'eql' && cond.length == 3) { return '(' + cond.slice(1).map(preconditionToJS).join(' == ') + ')'; } else if (cond === false) { - return false; + return 'false'; } else if (cond === true) { - return true; + return 'true'; } else if (typeof cond === 'string') { return JSON.stringify(cond); } else {