diff options
| -rw-r--r-- | src/runtime.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/runtime.js b/src/runtime.js index 9b52bbe4..5e3dcdcc 100644 --- a/src/runtime.js +++ b/src/runtime.js @@ -322,6 +322,7 @@ var Runtime = { prettyPrint: function(arg) { if (typeof arg == 'undefined') return '!UNDEFINED!'; + if (typeof arg == 'boolean') arg = arg + 0; if (!arg) return arg; var index = Runtime.printObjectList.indexOf(arg); if (index >= 0) return '<' + arg + '|' + index + '>'; |