From 779fe6c08291a2c041ec9558c5351c23de576238 Mon Sep 17 00:00:00 2001
From: Paul Davis <paul@linuxaudiosystems.com>
Date: Mon, 7 Jul 2014 07:05:27 -0400
Subject: add functionality for cut tool

---
 gtk2_ardour/editor_keys.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'gtk2_ardour/editor_keys.cc')

diff --git a/gtk2_ardour/editor_keys.cc b/gtk2_ardour/editor_keys.cc
index 34847bbfe4..2acc8a0a86 100644
--- a/gtk2_ardour/editor_keys.cc
+++ b/gtk2_ardour/editor_keys.cc
@@ -40,7 +40,7 @@ using namespace PBD;
 using namespace Editing;
 
 void
-Editor::keyboard_selection_finish (bool add)
+Editor::keyboard_selection_finish (bool /*add*/)
 {
 	if (_session) {
 
-- 
cgit v1.2.3