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);
         }
     }