Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix clang builds
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 13 Nov 2023 20:27:04 +0000 (21:27 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 13 Nov 2023 20:27:04 +0000 (21:27 +0100)
src/kernel/actor/SynchroObserver.hpp

index b2bfd31..ffcfcab 100644 (file)
@@ -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_;