diff options
Diffstat (limited to 'src/base/types.hh')
| -rw-r--r-- | src/base/types.hh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/base/types.hh b/src/base/types.hh index 9ef362fa1..c4cb4d988 100644 --- a/src/base/types.hh +++ b/src/base/types.hh @@ -40,6 +40,7 @@ #include <inttypes.h> #include <cassert> +#include <memory> #include <ostream> #include "base/refcnt.hh" @@ -179,6 +180,12 @@ typedef int16_t PortID; const PortID InvalidPortID = (PortID)-1; class FaultBase; -typedef RefCountingPtr<FaultBase> Fault; +typedef std::shared_ptr<FaultBase> Fault; + +#ifndef SWIG // Swig gets really confused by decltype +// Rather than creating a shared_ptr instance and assigning it nullptr, +// we just create an alias. +constexpr decltype(nullptr) NoFault = nullptr; +#endif #endif // __BASE_TYPES_HH__ |