Merge branch 'jneeman' of git+ssh://jneem@git.sv.gnu.org/srv/git/lilypond into jneeman

[lilypond.git] / lily / include / timing-translator.hh

diff --git a/lily/include/timing-translator.hh b/lily/include/timing-translator.hh
index ef13b682ccda6a2fdb4d1e42d5bde78539a6e015..3ed20422b7a1869c4daad72625bebe8a2b224551 100644 (file)
--- a/lily/include/timing-translator.hh
+++ b/lily/include/timing-translator.hh
@@ -12,8 +12,6 @@
 #include "moment.hh"
 #include "translator.hh"
 
-#include "std-vector.hh"
-
 class Timing_translator : public Translator
 {
 public: