--- sf-delta.cc.orig	Sun Jan  9 00:15:57 2000
+++ sf-delta.cc	Sun Jan  9 00:16:21 2000
@@ -390,7 +390,7 @@
 	    perror(s);
 	}
     }
-  disarm() { armed = false; }
+  void disarm() { armed = false; }
 };