diff --git a/src/sema_manager.cc b/src/sema_manager.cc index 02070c84..85c44de5 100644 --- a/src/sema_manager.cc +++ b/src/sema_manager.cc @@ -274,6 +274,8 @@ public: } else { Note &n = last->notes.emplace_back(); fillDiagBase(n); + if (concerned) + last->concerned = true; } } else { Flush();