add todo

ad-freiburg · Dec 1, 2024 · b4c6340 · b4c6340
1 parent 8f52c76
commit b4c6340
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/engine/Operation.h b/src/engine/Operation.h
@@ -256,6 +256,8 @@ class Operation {
 
   /// interface to the generated warnings of this operation
   std::vector<std::string>& getWarnings() {
+    // TODO<ullingerc> How do we keep this lock alive? Or copy the warnings
+    // (should be small usually)?
     std::lock_guard l{warningsMutex_};
     return warnings_;
   }