From 0c282a2edd3d688ad9809b34e535226d1d2c79c0 Mon Sep 17 00:00:00 2001 From: waltje Date: Wed, 11 Oct 2017 05:47:24 -0400 Subject: [PATCH] And, of course, fluidsynth... --- src/sound/midi_fluidsynth.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sound/midi_fluidsynth.c b/src/sound/midi_fluidsynth.c index e745d6580..4230d7f34 100644 --- a/src/sound/midi_fluidsynth.c +++ b/src/sound/midi_fluidsynth.c @@ -9,9 +9,9 @@ #include #include "../config.h" #include "../device.h" +#include "../plat.h" +#include "../plat_dynld.h" #include "../ui.h" -#include "../win/plat_dynld.h" -#include "../win/plat_thread.h" #include "midi.h" #include "midi_fluidsynth.h" #include "sound.h"