Fix optimized build, amend 5957e14259

This commit is contained in:
Robin Gareus 2021-05-06 15:50:44 +02:00
parent fc54ab48ec
commit fd9e9df742
Signed by: rgareus
GPG Key ID: A090BCE02CF57F04

View File

@ -25,6 +25,7 @@
#include <glibmm/timer.h> #include <glibmm/timer.h>
#include "pbd/error.h" #include "pbd/error.h"
#include "pbd/stacktrace.h"
#include "midi++/types.h" #include "midi++/types.h"