From 5f792c10350d4e9e78eb1e0e9187271d1c8e6113 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 7 Nov 2014 10:29:02 -0800
Subject: [PATCH] Make dump_nested() quiet.

---
 dump.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dump.c b/dump.c
index f87c78b8ff..51f97dc21a 100644
--- a/dump.c
+++ b/dump.c
@@ -211,9 +211,11 @@ static void
 dump_nested(void)
 {
   int subn = get_u32 ();
+#if 0
   fprintf (stderr, "nested %d bytes: ", subn);
   dump_raw(stderr, pos, pos + subn, "");
   putc('\n', stderr);
+#endif
   pos += subn;
 }
 
-- 
2.30.2