1 files changed, 1 insertions, 0 deletions

diff --git a/src/print.c b/src/print.c
index 3a1fe336b56..e8fcd2b6a45 100644
--- a/src/print.c
+++ b/src/print.c
@@ -1345,6 +1345,7 @@ print_preprocess (obj)
               {
                 /* OBJ appears more than once.  Let's remember that.  */
                 PRINT_NUMBER_STATUS (Vprint_number_table, i) = Qt;
+                print_depth--;
                 return;
               }