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