A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[mc] Cleanup/simplify liveness property automaton registration code
[simgrid.git]
/
src
/
mc
/
AddressSpace.hpp
diff --git
a/src/mc/AddressSpace.hpp
b/src/mc/AddressSpace.hpp
index
4481e45
..
fb1cddf
100644
(file)
--- a/
src/mc/AddressSpace.hpp
+++ b/
src/mc/AddressSpace.hpp
@@
-14,7
+14,7
@@
#include <stdint.h>
#include <stdint.h>
-#include "mc_forward.h"
+#include "mc_forward.h
pp
"
namespace simgrid {
namespace mc {
namespace simgrid {
namespace mc {
@@
-29,7
+29,7
@@
template<class T> class remote_ptr {
public:
remote_ptr() : address_(0) {}
remote_ptr(std::uint64_t address) : address_(address) {}
public:
remote_ptr() : address_(0) {}
remote_ptr(std::uint64_t address) : address_(address) {}
- remote_ptr(T* address) : address_((std::uint
64
_t)address) {}
+ remote_ptr(T* address) : address_((std::uint
ptr
_t)address) {}
std::uint64_t address() const { return address_; }
operator bool() const
{
std::uint64_t address() const { return address_; }
operator bool() const
{