From 3e41afaa649f0c46baefcc8297bbb54c24cb4f36 Mon Sep 17 00:00:00 2001
From: efischer <ej@eugenefischer.com>
Date: Sun, 27 Feb 2022 19:08:29 -0600
Subject: [PATCH] bugfix

---
 src/main/java/GraphDataObjectReader.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/java/GraphDataObjectReader.java b/src/main/java/GraphDataObjectReader.java
index 8e883ee..ff7edb4 100644
--- a/src/main/java/GraphDataObjectReader.java
+++ b/src/main/java/GraphDataObjectReader.java
@@ -4,7 +4,7 @@ public class GraphDataObjectReader {
 
     private GraphWithMapData data;
     private String filename;
-    private boolean verbose = true;
+
 
     public GraphDataObjectReader(String filename, boolean verbose) throws IOException {
         if(!filename.matches(".*\\.ser")){
@@ -15,7 +15,7 @@ public class GraphDataObjectReader {
             BufferedInputStream fileIn = new BufferedInputStream(new FileInputStream(filename));
                 ObjectInputStream in = new ObjectInputStream(fileIn))
         {
-            if (this.verbose) {
+            if (verbose) {
                 System.out.println("Reading graph data from file. This may take some time");
                 System.out.println("File I/O time is not included in results");
             }