From: Justin Viiret <justin.viiret@intel.com>
Date: Thu, 21 Jul 2016 02:46:07 +0000 (+1000)
Subject: ng_violet: use dumpString for debug output
X-Git-Tag: v4.3.0^2~35
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=de543bec24f388aeca1bee09307973db935c78f5;p=thirdparty%2Fvectorscan.git

ng_violet: use dumpString for debug output
---

diff --git a/src/nfagraph/ng_violet.cpp b/src/nfagraph/ng_violet.cpp
index c4089f7d..fe917c77 100644
--- a/src/nfagraph/ng_violet.cpp
+++ b/src/nfagraph/ng_violet.cpp
@@ -672,7 +672,7 @@ unique_ptr<VertLitInfo> findBestSplit(const NGHolder &g,
     }
 
     DEBUG_PRINTF("best is '%s' %u a%d t%d\n",
-        ((const string &)*best->lit.begin()).c_str(),
+        dumpString(*best->lit.begin()).c_str(),
         g[best->vv.front()].index,
         depths ? (int)createsAnchoredLHS(g, best->vv, *depths, cc.grey) : 0,
         depths ? (int)createsTransientLHS(g, best->vv, *depths, cc.grey) : 0);
@@ -1287,7 +1287,7 @@ bool doNetflowCut(NGHolder &h,
         cut_lits[e] = lits;
 
         DEBUG_PRINTF("cut lit '%s' %u->%u\n",
-                     ((const string &)*cut_lits[e].begin()).c_str(),
+                     dumpString(*cut_lits[e].begin()).c_str(),
                      h[source(e, h)].index, h[target(e, h)].index);
     }