diff --git a/contrib/suppressions/sanitizers/lsan.txt b/contrib/suppressions/sanitizers/lsan.txt
index a4ce0881a..1480b7c09 100644
--- a/contrib/suppressions/sanitizers/lsan.txt
+++ b/contrib/suppressions/sanitizers/lsan.txt
@@ -1 +1,5 @@
 # LeakSanitizer suppression file
+
+# Ignore Clang OpenMP leaks.
+# See https://github.com/Z3Prover/z3/issues/1308
+leak:___kmp_allocate