diff --git a/src/sema_manager.cc b/src/sema_manager.cc index 9ee160bf..0467713e 100644 --- a/src/sema_manager.cc +++ b/src/sema_manager.cc @@ -273,6 +273,8 @@ public: } else { Note &n = last->notes.emplace_back(); fillDiagBase(n); + if (concerned) + last->concerned = true; } } else { Flush();