diff options
author | Robin Gareus <robin@gareus.org> | 2015-09-12 20:05:25 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2015-09-12 20:05:25 +0200 |
commit | eb998b32640e83828ff3c81eabf86fe0f319bbcd (patch) | |
tree | bd3244434808481fdeaa793fc0ed9e2cac07f74e /libs/pbd/pbd | |
parent | cb6c975417bcc13a664163610fb62cfb3a0b9041 (diff) |
plug some memory leaks in libs
Diffstat (limited to 'libs/pbd/pbd')
-rw-r--r-- | libs/pbd/pbd/fpu.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/pbd/pbd/fpu.h b/libs/pbd/pbd/fpu.h index 4ab1a83561..463fef3ff2 100644 --- a/libs/pbd/pbd/fpu.h +++ b/libs/pbd/pbd/fpu.h @@ -38,6 +38,7 @@ class LIBPBD_API FPU { ~FPU (); static FPU* instance(); + static void destroy(); bool has_flush_to_zero () const { return _flags & HasFlushToZero; } bool has_denormals_are_zero () const { return _flags & HasDenormalsAreZero; } |