From 16aa22a361df9ab06cf1b1a1be9a634af9fd542c Mon Sep 17 00:00:00 2001
From: Justin Viiret <justin.viiret@intel.com>
Date: Wed, 16 Nov 2016 10:56:37 +1100
Subject: [PATCH] gough: don't dump int data unless it's requested

---
 src/nfa/goughcompile_dump.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/nfa/goughcompile_dump.cpp b/src/nfa/goughcompile_dump.cpp
index dd76b9ec..cb361cdb 100644
--- a/src/nfa/goughcompile_dump.cpp
+++ b/src/nfa/goughcompile_dump.cpp
@@ -275,7 +275,7 @@ void dump_vars(const GoughGraph &g, const string &base, const Grey &grey) {
 }
 
 void dump(const GoughGraph &g, const string &base, const Grey &grey) {
-    if (!grey.dumpFlags) {
+    if (!(grey.dumpFlags & Grey::DUMP_INT_GRAPH)) {
         return;
     }
 
@@ -311,9 +311,9 @@ void dump_block(FILE *f, const gough_edge_id &e,
     }
 }
 
-void dump_blocks(const map<gough_edge_id, vector<gough_ins> > &blocks,
+void dump_blocks(const map<gough_edge_id, vector<gough_ins>> &blocks,
                  const string &base, const Grey &grey) {
-    if (!grey.dumpFlags) {
+    if (!(grey.dumpFlags & Grey::DUMP_INT_GRAPH)) {
         return;
     }