diff --git a/contrib/suppressions/sanitizers/lsan.txt b/contrib/suppressions/sanitizers/lsan.txt
index a4ce0881a..437358132 100644
--- a/contrib/suppressions/sanitizers/lsan.txt
+++ b/contrib/suppressions/sanitizers/lsan.txt
@@ -1 +1,5 @@
 # LeakSanitizer suppression file
+
+# FIXME: This looks a bug in Clang/LSan the error reported
+# doesn't make sense. See https://github.com/Z3Prover/z3/issues/1297
+leak:_fini