From fe1ed43699e1784d267f47d8c532e00cb344198d Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Mon, 13 Nov 2023 21:27:04 +0100
Subject: [PATCH] Fix clang builds

---
 src/kernel/actor/SynchroObserver.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel/actor/SynchroObserver.hpp b/src/kernel/actor/SynchroObserver.hpp
index b2bfd31fe8..ffcfcabcf0 100644
--- a/src/kernel/actor/SynchroObserver.hpp
+++ b/src/kernel/actor/SynchroObserver.hpp
@@ -82,7 +82,7 @@ public:
 };
 
 class ConditionVariableObserver final : public ResultingSimcall<bool> {
-  mc::Transition::Type type_;
+  //mc::Transition::Type type_; Will be used when we implement CV on the MC side
   activity::ConditionVariableImpl* const cond_;
   activity::MutexImpl* const mutex_;
   const double timeout_;
-- 
2.20.1