From 94b33421cafcbc952d3bcb6659f7a5b18313e780 Mon Sep 17 00:00:00 2001 From: Justin Viiret Date: Thu, 28 Jan 2016 17:16:53 +1100 Subject: [PATCH] ng_filter: Fix bug introduced in 98eff64 If the max width is modified for a region, use the modified version when checking to see if a self-loop must be added on the last vertex. --- src/nfagraph/ng_prefilter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/nfagraph/ng_prefilter.cpp b/src/nfagraph/ng_prefilter.cpp index c0caf1b9..c2b9eea9 100644 --- a/src/nfagraph/ng_prefilter.cpp +++ b/src/nfagraph/ng_prefilter.cpp @@ -285,7 +285,7 @@ void replaceRegion(NGHolder &g, const RegionInfo &ri, verts.push_back(v); } - if (ri.maxWidth.is_infinite()) { + if (maxWidth.is_infinite()) { add_edge(verts.back(), verts.back(), g); }