diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2016-05-07 13:32:31 -0400 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2016-05-07 13:36:04 -0400 |
| commit | a232673454fa3583da22fdd55eea16200f90c438 (patch) | |
| tree | e4d89e7f21248ae621198ced12cad0667e176351 /gtk2_ardour | |
| parent | 2f9d5077dcd82ad0ea09f342ebc1baf8dc68a68c (diff) | |
make boost shared_ptr debugging a little easier to turn on/off
Diffstat (limited to 'gtk2_ardour')
| -rw-r--r-- | gtk2_ardour/editor_ops.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/editor_ops.cc b/gtk2_ardour/editor_ops.cc index a6079cac90..631b4ec68e 100644 --- a/gtk2_ardour/editor_ops.cc +++ b/gtk2_ardour/editor_ops.cc @@ -42,6 +42,7 @@ #include "ardour/audio_track.h" #include "ardour/audioregion.h" +#include "ardour/boost_debug.h" #include "ardour/dB.h" #include "ardour/location.h" #include "ardour/midi_region.h" |