gough: don't dump int data unless it's requested

diff --git a/src/nfa/goughcompile_dump.cpp b/src/nfa/goughcompile_dump.cpp
index dd76b9ec7dd4f973bbd20d3b20173bb8e5e0d172..cb361cdbdc4ecaf968bce4ee1c34fb15bd2f2fcf 100644 (file)
--- 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;
     }