diff --git a/src/main/java/GraphDataObjectReader.java b/src/main/java/GraphDataObjectReader.java index fea0bff..c8940c8 100644 --- a/src/main/java/GraphDataObjectReader.java +++ b/src/main/java/GraphDataObjectReader.java @@ -15,8 +15,10 @@ public class GraphDataObjectReader { BufferedInputStream fileIn = new BufferedInputStream(new FileInputStream(filename)); ObjectInputStream in = new ObjectInputStream(fileIn)) { - 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"); + 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"); + } data = (GraphWithMapData) in.readObject(); } catch (FileNotFoundException | ClassNotFoundException ex) { ex.printStackTrace();