]> AND Private Git Repository - loba.git/blobdiff - options.cpp
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
Reverted extract-all and extract-all-inv to use original log files from run-all
[loba.git] / options.cpp
index 373f4c633504b68fe02a907a9958e37f07fb9fd3..3eed8a259731798ba790f1c59eafad44798b01fc 100644 (file)
@@ -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;