From 75ebde707b0c7b13d67e12e94a03d774ad37ba67 Mon Sep 17 00:00:00 2001
From: Matthieu Volat <mazhe@alkumuna.eu>
Date: Mon, 28 Nov 2016 15:00:18 +0100
Subject: [PATCH] BSD/SysV ptrace resume addr is 1, not 0 like in linux.

---
 src/mc/ModelChecker.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 160074896a..f0f149f613 100644
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -423,7 +423,7 @@ void ModelChecker::handle_waitpid()
 #ifdef __linux__
         ptrace(PTRACE_CONT, this->process().pid(), 0, WSTOPSIG(status));
 #elif defined BSD
-        ptrace(PT_CONTINUE, this->process().pid(), nullptr, WSTOPSIG(status));
+        ptrace(PT_CONTINUE, this->process().pid(), (caddr_t)1, WSTOPSIG(status));
 #endif
         if (errno != 0)
           xbt_die("Could not PTRACE_CONT");
-- 
2.20.1