create_checker without Session argument

[simgrid.git] / src / mc / AddressSpace.hpp

diff --git a/src/mc/AddressSpace.hpp b/src/mc/AddressSpace.hpp
index 34b47a2..005adaa 100644 (file)
--- a/src/mc/AddressSpace.hpp
+++ b/src/mc/AddressSpace.hpp
@@ -23,7 +23,7 @@ class ReadOptions {
   constexpr explicit ReadOptions(std::uint32_t value) : value_(value) {}
 
 public:
-  constexpr ReadOptions() {}
+  constexpr ReadOptions() = default;
 
   explicit constexpr operator bool() const { return value_ != 0; }
   constexpr bool operator!() const { return value_ == 0; }
@@ -92,7 +92,7 @@ public:
 
   /** The process of this address space
    *
-   *  This is where we can get debug informations, memory layout, etc.
+   *  This is where we can get debug information, memory layout, etc.
    */
   simgrid::mc::RemoteSimulation* get_remote_simulation() const { return remote_simulation_; }