diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2013-07-11 11:19:57 -0400 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2013-08-08 15:23:08 -0400 |
commit | cebd189239ce6b7bf775d3f2c0cfe312608d04df (patch) | |
tree | a7ef56cc25de473b61ff8c4a5cfbb3979db59508 /libs/ardour/midi_diskstream.cc | |
parent | 6db9411c946d109630c1c39b67be6abfaf41d809 (diff) |
Remove non-portable and unnused header includes
Diffstat (limited to 'libs/ardour/midi_diskstream.cc')
-rw-r--r-- | libs/ardour/midi_diskstream.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/libs/ardour/midi_diskstream.cc b/libs/ardour/midi_diskstream.cc index 26cd43aec4..fcbd2094f9 100644 --- a/libs/ardour/midi_diskstream.cc +++ b/libs/ardour/midi_diskstream.cc @@ -28,7 +28,6 @@ #include <ctime> #include <strings.h> // for ffs(3) #include <sys/stat.h> -#include <sys/mman.h> #include "pbd/error.h" #include "pbd/basename.h" |