diff options
Diffstat (limited to 'js/Misc/DEBUG.js')
| -rw-r--r-- | js/Misc/DEBUG.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/js/Misc/DEBUG.js b/js/Misc/DEBUG.js index 7a36654c..98e7e2e2 100644 --- a/js/Misc/DEBUG.js +++ b/js/Misc/DEBUG.js @@ -26,7 +26,7 @@ break message(["Error in the instructions",lasterror()]); } } else { -ok=None; +ok=false; break } } |