Bug fixes

mc-imperial · Jun 16, 2024 · 1be092d · 1be092d
1 parent 354e520
commit 1be092d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/src/dredd/src/main.cc b/src/dredd/src/main.cc
@@ -14,6 +14,7 @@
 
 #include <fstream>
 #include <memory>
+#include <optional>
 #include <string>
 
 #include "clang/Tooling/CommonOptionsParser.h"
@@ -99,7 +100,7 @@ int main(int argc, const char** argv) {
   if (mutation_info_file.empty()) {
     mutation_info = std::nullopt;
   } else {
-    mutation_info = std::optional<dredd::protobufs::MutationInfo>();
+    mutation_info = dredd::protobufs::MutationInfo();
   }
 
   const std::unique_ptr<clang::tooling::FrontendActionFactory> factory =

diff --git a/src/libdredd/include/libdredd/new_mutate_frontend_action_factory.h b/src/libdredd/include/libdredd/new_mutate_frontend_action_factory.h
@@ -16,6 +16,7 @@
 #define LIBDREDD_NEW_MUTATE_FRONTEND_ACTION_FACTORY_H
 
 #include <memory>
+#include <optional>
 
 #include "clang/Tooling/Tooling.h"
 #include "libdredd/protobufs/dredd_protobufs.h"