-/* Copyright (c) 2015-2017. The SimGrid Team.
+/* Copyright (c) 2015-2018. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
#include <libunwind.h>
#include <libunwind-ptrace.h>
-#include "src/mc/mc_unw.h"
+#include "src/mc/mc_unw.hpp"
#include "src/mc/remote/RemoteClient.hpp"
/** \file
static inline
pid_t _UPT_getpid(void* arg)
{
- struct _UPT_info* info = static_cast<_UPT_info*>(arg);
+ _UPT_info* info = static_cast<_UPT_info*>(arg);
return info->pid;
}