ng_width: turn min width check into assert

diff --git a/src/nfagraph/ng_width.cpp b/src/nfagraph/ng_width.cpp
index 4c33220c1f64ff3f1ee43521301c43397c717c2a..219241ca5500c8b970c360d20fc69152bd14c4ac 100644 (file)
--- 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;
     }