From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sat, 6 Mar 2021 13:02:02 +0000 (+0100)
Subject: Inline trivial function.
X-Git-Tag: v3.27~232
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a19887898e2e87b7e5677582a142734bb2f27eb5

Inline trivial function.
---

diff --git a/src/mc/checker/SimcallObserver.cpp b/src/mc/checker/SimcallObserver.cpp
index 93b92ab3b7..78a62d959f 100644
--- a/src/mc/checker/SimcallObserver.cpp
+++ b/src/mc/checker/SimcallObserver.cpp
@@ -46,11 +46,6 @@ int RandomSimcall::get_max_consider() const
   return max_ - min_ + 1;
 }
 
-int RandomSimcall::get_value() const
-{
-  return next_value_;
-}
-
 std::string MutexUnlockSimcall::to_string(int time_considered) const
 {
   return SimcallObserver::to_string(time_considered) + "Mutex UNLOCK";
diff --git a/src/mc/checker/SimcallObserver.hpp b/src/mc/checker/SimcallObserver.hpp
index a611f16c48..0c6abc7589 100644
--- a/src/mc/checker/SimcallObserver.hpp
+++ b/src/mc/checker/SimcallObserver.hpp
@@ -63,7 +63,7 @@ public:
   void prepare(int times_considered) override;
   std::string to_string(int times_considered) const override;
   std::string dot_label() const override;
-  int get_value() const;
+  int get_value() const { return next_value_; }
 };
 
 class MutexUnlockSimcall : public SimcallObserver {