Merge pull request #320 from rpng/fix_mutex

add mutex header
rpng · Mar 15, 2023 · b11b955 · b11b955
2 parents d1a0c6d + c6e9896
commit b11b955
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ov_msckf/src/state/State.h b/ov_msckf/src/state/State.h
@@ -24,6 +24,7 @@
 
 #include <map>
 #include <memory>
+#include <mutex>
 #include <unordered_map>
 #include <vector>