From 785641a0937a8e0bec6a0af7f6753ba7793da309 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Mon, 23 May 2011 08:34:21 +0200
Subject: [PATCH] Spell sig_atomic_t as std::sig_atomic_t.

---
 options.cpp | 2 +-
 options.h   | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/options.cpp b/options.cpp
index 373f4c6..3eed8a2 100644
--- a/options.cpp
+++ b/options.cpp
@@ -39,7 +39,7 @@ namespace opt {
 
     // Simulation parameters
     int log_rate = 1;
-    volatile sig_atomic_t exit_request = 0;
+    volatile std::sig_atomic_t exit_request = 0;
 
     // Platform and deployment
     std::string platform_file;
diff --git a/options.h b/options.h
index 35334a5..0c69e11 100644
--- a/options.h
+++ b/options.h
@@ -1,7 +1,7 @@
 #ifndef OPTIONS_H
 #define OPTIONS_H
 
-#include <csignal>              // sig_atomic_t
+#include <csignal>              // std::sig_atomic_t
 #include <string>
 #include "cost_func.h"
 #include "named_object_list.h"
@@ -24,7 +24,7 @@ namespace opt {
 
     // Simulation parameters
     extern int log_rate;
-    extern volatile sig_atomic_t exit_request;
+    extern volatile std::sig_atomic_t exit_request;
 
     // Platform and deployment
     extern std::string platform_file;
-- 
2.39.5