diff options
| -rw-r--r-- | src/libexpr/print.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libexpr/print.cc b/src/libexpr/print.cc index 53d0861bf..76f9a9c56 100644 --- a/src/libexpr/print.cc +++ b/src/libexpr/print.cc @@ -174,6 +174,7 @@ private: void decreaseIndent() { if (options.prettyPrint()) { + assert(indent.size() >= options.prettyIndent); indent.resize(indent.size() - options.prettyIndent); } } |