diff --git a/Saphir/KeyDev.HC b/Saphir/KeyDev.HC
index 2668684..e65efd0 100644
--- a/Saphir/KeyDev.HC
+++ b/Saphir/KeyDev.HC
@@ -49,6 +49,7 @@ U0 saphir_handle_prefix_cmd()
 
 Bool saphir_MyPutKey(I64 ch, I64 sc)
 {
+    no_warn sc;
     switch (ch) {
     case CH_CTRLB:
         saphir_handle_prefix_cmd;