Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix most of spelling mistakes in src/
[simgrid.git] / src / mc / inspect / mc_unw.hpp
index beb19d6..f6c291c 100644 (file)
@@ -10,7 +10,7 @@
  *  Libunwind implementation for the model-checker
  *
  *  Libunwind provides an pluggable stack unwinding API: the way the current
- *  registers and memory is accessed, the way unwinding informations is found
+ *  registers and memory is accessed, the way unwinding information is found
  *  is pluggable.
  *
  *  This component implements the libunwind API for he model-checker:
@@ -44,11 +44,11 @@ namespace mc {
 
 class UnwindContext {
   simgrid::mc::AddressSpace* address_space_ = nullptr;
-  simgrid::mc::RemoteClient* process_      = nullptr;
+  simgrid::mc::RemoteSimulation* process_   = nullptr;
   unw_context_t unwind_context_;
 
 public:
-  void initialize(simgrid::mc::RemoteClient* process, unw_context_t* c);
+  void initialize(simgrid::mc::RemoteSimulation* process, unw_context_t* c);
   unw_cursor_t cursor();
 
 private: // Methods and virtual table for libunwind