Fix return type for get_maxpid().

diff --git a/src/kernel/actor/ActorImpl.cpp b/src/kernel/actor/ActorImpl.cpp
index 33cae24..050908b 100644 (file)
--- a/src/kernel/actor/ActorImpl.cpp
+++ b/src/kernel/actor/ActorImpl.cpp
@@ -40,7 +40,7 @@ namespace kernel {
 namespace actor {
 
 static unsigned long maxpid = 0;
 namespace actor {
 
 static unsigned long maxpid = 0;

-int get_maxpid()
+unsigned long get_maxpid()

 {
   return maxpid;
 }
 {
   return maxpid;
 }

diff --git a/src/kernel/actor/ActorImpl.hpp b/src/kernel/actor/ActorImpl.hpp
index 7123018..e32d7c7 100644 (file)
--- a/src/kernel/actor/ActorImpl.hpp
+++ b/src/kernel/actor/ActorImpl.hpp
@@ -194,7 +194,7 @@ using SynchroList =
                                                                     &ActorImpl::smx_synchro_hook>>;
 
 XBT_PUBLIC void create_maestro(const std::function<void()>& code);
                                                                     &ActorImpl::smx_synchro_hook>>;
 
 XBT_PUBLIC void create_maestro(const std::function<void()>& code);

-XBT_PUBLIC int get_maxpid();
+XBT_PUBLIC unsigned long get_maxpid();

 } // namespace actor
 } // namespace kernel
 } // namespace simgrid
 } // namespace actor
 } // namespace kernel
 } // namespace simgrid