rose: clear reports in removeFalsePaths

diff --git a/src/rose/rose_build_add.cpp b/src/rose/rose_build_add.cpp
index 195c4badd6603c3591fe12bbe1c894e0472b38e2..0a91a76ac1ef5d9c027e393f09929e21fa15f6d1 100644 (file)
--- 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));