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