1 files changed, 6 insertions, 5 deletions
diff --git a/main.cxx b/main.cxx
index 99be67da..16d2df37 100644
--- a/main.cxx
+++ b/main.cxx
@@ -307,11 +307,12 @@ main (int argc, char * const argv [])
       cout << "# parse tree dump" << endl;
       s.user_file->print (cout);
       cout << endl;
-      for (unsigned i=0; i<s.library_files.size(); i++)
-        {
-          s.library_files[i]->print (cout);
-          cout << endl;
-        }
+      if (s.verbose)
+        for (unsigned i=0; i<s.library_files.size(); i++)
+          {
+            s.library_files[i]->print (cout);
+            cout << endl;
+          }
     }
 
   // syntax errors, if any, are already printed