#ifndef SIMGRID_MC_SNAPSHOT_HPP
#define SIMGRID_MC_SNAPSHOT_HPP
-#include <vector>
+#include <memory>
#include <set>
#include <string>
-#include <memory>
+#include <vector>
#include "src/mc/ModelChecker.hpp"
#include "src/mc/RegionSnapshot.hpp"
#include "src/mc/mc_forward.hpp"
#include "src/mc/mc_unw.hpp"
-SG_BEGIN_DECL()
+extern "C" {
// ***** Snapshot region
void* res;
return *(void**) MC_region_read(region, &res, addr, sizeof(void*));
}
-
-SG_END_DECL()
+}
#endif