diff --git a/src/rose/rose_build_add.cpp b/src/rose/rose_build_add.cpp index 195c4bad..0a91a76a 100644 --- a/src/rose/rose_build_add.cpp +++ b/src/rose/rose_build_add.cpp @@ -418,6 +418,7 @@ void removeFalsePaths(NGHolder &g, const ue2_literal &lit) { } pruneUseless(g); + clearReports(g); assert(in_degree(g.accept, g) || in_degree(g.acceptEod, g) > 1); assert(allMatchStatesHaveReports(g));