[LSan] Remove suppression files. The were fixed on rebase

VeriFIT · Oct 16, 2017 · 8d60005 · 8d60005
1 parent ff5df20
commit 8d60005
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/contrib/suppressions/sanitizers/lsan.txt b/contrib/suppressions/sanitizers/lsan.txt
@@ -1,8 +1 @@
 # 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
-# FIXME: I don't understand this leak.
-# See https://github.com/Z3Prover/z3/issues/1297
-leak:error_code_example2