Remove remaining annotation code (for Mutex support)

Patrick-6 · Patrick-6 · commit 409164bd4b9b · 2025-07-30T16:24:49.000+02:00
diff --git a/genmc-sys/src_cpp/MiriInterface.hpp b/genmc-sys/src_cpp/MiriInterface.hpp
@@ -143,9 +143,6 @@ struct MiriGenMCShim : private GenMCDriver
 	std::unordered_map<SAddr, GenmcScalar> initVals_{};
 
 	std::vector<Action> globalInstructions;
-
-	std::unordered_map<uint64_t, ModuleID::ID> annotation_id{};
-	ModuleID::ID annotation_id_counter = 0;
 };
 
 /**** Functions available to Miri ****/
