diff --git a/contrib/suppressions/sanitizers/lsan.txt b/contrib/suppressions/sanitizers/lsan.txt
index 437358132..81a3c8b85 100644
--- a/contrib/suppressions/sanitizers/lsan.txt
+++ b/contrib/suppressions/sanitizers/lsan.txt
@@ -3,3 +3,6 @@
 # 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
+# FIXME: I don't understand this leak.
+# See https://github.com/Z3Prover/z3/issues/1297
+leak:error_code_example2