Fix.

mc-imperial · Nov 22, 2023 · 8911d3d · 8911d3d
1 parent 119e7ca
commit 8911d3d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/libdredd/src/mutate_visitor.cc b/src/libdredd/src/mutate_visitor.cc
@@ -35,7 +35,6 @@
 #include "clang/AST/TypeLoc.h"
 #include "clang/Basic/LangOptions.h"
 #include "clang/Basic/SourceLocation.h"
-#include "clang/Basic/SourceManager.h"
 #include "clang/Frontend/CompilerInstance.h"
 #include "libdredd/mutation.h"
 #include "libdredd/mutation_remove_stmt.h"