From 7550a5357fdf5d3b9e41a07c5e05487b80df0ff0 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sun, 2 Apr 2023 11:43:45 +0200
Subject: [PATCH] Cosmetics.

---
 teshsuite/mc/random-bug/random-bug.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/teshsuite/mc/random-bug/random-bug.cpp b/teshsuite/mc/random-bug/random-bug.cpp
index ba82292333..80b910eed4 100644
--- a/teshsuite/mc/random-bug/random-bug.cpp
+++ b/teshsuite/mc/random-bug/random-bug.cpp
@@ -3,8 +3,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+#include <csignal>
 #include <cstring>
-#include <signal.h>
 #include <simgrid/modelchecker.h>
 #include <simgrid/s4u.hpp>
 #include <xbt/log.h>
@@ -32,7 +32,7 @@ static void app()
       abort();
   } else if (behavior == Behavior::SEGV) {
     if (x == 3 && y == 4)
-      kill(getpid(), SIGSEGV); // Simulate a segfault without displeasing the static analyzers
+      raise(SIGSEGV); // Simulate a segfault without displeasing the static analyzers
   } else {
     DIE_IMPOSSIBLE;
   }
-- 
2.20.1