diff options
Diffstat (limited to 'libs/midi++2/midi++/manager.h')
| -rw-r--r-- | libs/midi++2/midi++/manager.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/midi++2/midi++/manager.h b/libs/midi++2/midi++/manager.h index ecfd7a0111..bab4a18dd2 100644 --- a/libs/midi++2/midi++/manager.h +++ b/libs/midi++2/midi++/manager.h @@ -74,6 +74,7 @@ class Manager { static Manager *instance () { return theManager; } + static void destroy (); void reestablish (jack_client_t *); void reconnect (); |