llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-llvm-support Author: None (llvmbot) <details> <summary>Changes</summary> Backport fcb3a048 Requested by: @<!-- -->tamird --- Full diff: https://github.com/llvm/llvm-project/pull/106525.diff 1 Files Affected: - (modified) llvm/lib/Support/Z3Solver.cpp (+1) ``````````diff diff --git a/llvm/lib/Support/Z3Solver.cpp b/llvm/lib/Support/Z3Solver.cpp index 5a34ff160f6cf4..9aece099b06295 100644 --- a/llvm/lib/Support/Z3Solver.cpp +++ b/llvm/lib/Support/Z3Solver.cpp @@ -19,6 +19,7 @@ using namespace llvm; #include "llvm/ADT/Twine.h" #include <set> +#include <unordered_map> #include <z3.h> `````````` </details> https://github.com/llvm/llvm-project/pull/106525 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
