Remove remaining annotation code (for Mutex support)

Patrick-6 · Patrick-6 · commit 15fd885eb234 · 2025-07-29T14:51:01.000+02:00
diff --git a/genmc-sys/src_cpp/MiriInterface.hpp b/genmc-sys/src_cpp/MiriInterface.hpp
@@ -142,9 +142,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 ****/
