From cadc7028b1203041cac2a7f2a1649a93814e668e Mon Sep 17 00:00:00 2001 From: Justin Viiret Date: Tue, 16 Jan 2018 14:56:04 +1100 Subject: [PATCH] ng_width: turn min width check into assert --- src/nfagraph/ng_width.cpp | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/nfagraph/ng_width.cpp b/src/nfagraph/ng_width.cpp index 4c33220c..219241ca 100644 --- a/src/nfagraph/ng_width.cpp +++ b/src/nfagraph/ng_width.cpp @@ -176,11 +176,7 @@ depth findMaxWidth(const NGHolder &h, const SpecialEdgeFilter &filter, } if (d.is_unreachable()) { - // If we're actually reachable, we'll have a min width, so we can - // return infinity in this case. - if (findMinWidth(h, filter, src).is_reachable()) { - return depth::infinity(); - } + assert(findMinWidth(h, filter, src).is_unreachable()); return d; }