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

Private GIT Repository
Minor cleanups.
[loba.git] / options.cpp
index c0becfde198f7347b31ff3593c95447697975077..2994640bf6e7f0c766ea6ca66637bcbd5ab804a7 100644 (file)
@@ -35,6 +35,7 @@ namespace opt {
 
     // Simulation parameters
     int log_rate = 1;
 
     // Simulation parameters
     int log_rate = 1;
+    bool exit_request = false;
 
     // Platform and deployment
     std::string platform_file;
 
     // Platform and deployment
     std::string platform_file;