From 82cf36724e79805848b04d25cd7a34353b3142db Mon Sep 17 00:00:00 2001 From: "G.E" Date: Sun, 5 May 2024 18:26:20 +0300 Subject: [PATCH] maybe fix broken merge --- src/nfagraph/ng_extparam.cpp | 2 +- src/rose/rose_build_merge.cpp | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/src/nfagraph/ng_extparam.cpp b/src/nfagraph/ng_extparam.cpp index 2b492f73..abfe367e 100644 --- a/src/nfagraph/ng_extparam.cpp +++ b/src/nfagraph/ng_extparam.cpp @@ -603,7 +603,7 @@ bool transformMinLengthToRepeat(NGHolder &g, ReportManager &rm) { predcs.clear(); predcs.emplace_back(v); } - assert(!preds.empty()); + assert(!predcs.empty()); for (auto u : predcs) { add_edge(u, cyclic, g); } diff --git a/src/rose/rose_build_merge.cpp b/src/rose/rose_build_merge.cpp index 121baa52..09c2175e 100644 --- a/src/rose/rose_build_merge.cpp +++ b/src/rose/rose_build_merge.cpp @@ -32,7 +32,6 @@ */ #include "rose_build_merge.h" -/* just a comment to trigger builds/tests */ #include "grey.h" #include "rose_build.h" #include "rose_build_impl.h"