--- wmx10.c.orig	Fri Dec 24 12:11:19 1999
+++ wmx10.c	Fri Aug  6 17:40:57 2004
@@ -429,6 +429,7 @@
 		  updateNumDisplay(lampNum);
 		  break;
 	      default:
+		  ;
 	      }
 	  }
       case ButtonRelease:
