Add unistd.h as it is required by compiler.

VeriFIT · Jun 1, 2024 · 6c531b4 · 6c531b4
1 parent 35f77ce
commit 6c531b4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/include/mata/nfa/nfa.hh b/include/mata/nfa/nfa.hh
@@ -19,6 +19,7 @@
 #include <utility>
 #include <vector>
 #include <queue>
+#include <unistd.h>
 
 #include "mata/alphabet.hh"
 #include "mata/parser/parser.hh"

diff --git a/src/nfa/operations.cc b/src/nfa/operations.cc
@@ -1042,12 +1042,12 @@ Nfa mata::nfa::reduce(const Nfa &aut, StateRenaming *state_renaming, const Param
         }
         const std::string& solver_type = params.at("solver");
 
-        if (solver_type == "qbf"){
+        if (solver_type == "qbf") {
             result = reduce_qbf(aut);
         } else {
             result = reduce_sat(aut, params);
         }
-     } else {
+    } else {
         throw std::runtime_error(std::to_string(__func__) +
                                  " received an unknown value of the \"algorithm\" key: " + algorithm);
     }