From de543bec24f388aeca1bee09307973db935c78f5 Mon Sep 17 00:00:00 2001 From: Justin Viiret Date: Thu, 21 Jul 2016 12:46:07 +1000 Subject: [PATCH] ng_violet: use dumpString for debug output --- src/nfagraph/ng_violet.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 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); }