diff options
author | MarcoFalke <falke.marco@gmail.com> | 2020-08-05 16:44:48 +0200 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2020-08-05 16:43:30 +0200 |
commit | fa5288cf5c50d014f046b7741f6da69529037933 (patch) | |
tree | 64b2a7317b09fba6bdfa2dafd48ce9de75baddbb | |
parent | 65e4ecabd5b4252154640c7bac38c92a3f3a7018 (diff) |
contrib: Fixup valgrind suppressions file
-rw-r--r-- | contrib/valgrind.supp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/valgrind.supp b/contrib/valgrind.supp index d2652119b4..ece02dc24e 100644 --- a/contrib/valgrind.supp +++ b/contrib/valgrind.supp @@ -123,7 +123,6 @@ Memcheck:Cond ... fun:_ZN5boost10filesystem6detail11unique_pathERKNS0_4pathEPNS_6system10error_codeE - fun:unique_path } { Suppress boost warning |