diff --git a/src/theme/book.js b/src/theme/book.js index aea7eda74b..afbf23fe5a 100644 --- a/src/theme/book.js +++ b/src/theme/book.js @@ -101,7 +101,8 @@ function playpen_text(playpen) { crateType: "bin", tests: false, code: text, - } + backtrace: false, + }; if (text.indexOf("#![feature") !== -1) { params.channel = "nightly";