1 files changed, 1 insertions, 1 deletions
diff --git a/note.cc b/note.cc
index c51e3c33af..2307729a3c 100644
--- a/note.cc
+++ b/note.cc
@@ -111,7 +111,7 @@ get_note_element(String pitch, String durstr)
 }
 
 Voice_element *
-get_rest_element(String type, String durstr)
+get_rest_element(String, String durstr)
 {    
     Voice_element*v = new Voice_element;
     int i=0;