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); }