1 files changed, 2 insertions, 0 deletions
diff --git a/src/system.h b/src/system.h
index 21182a47f..020f83b48 100644
--- a/src/system.h
+++ b/src/system.h
@@ -655,3 +655,5 @@ bad_cast (char const *s)
 {
   return (char *) s;
 }
+
+void usage (int status);