/*
* This file is part of DisOrder
- * Copyright (C) 2008 Richard Kettlewell
+ * Copyright (C) 2008, 2009, 2011 Richard Kettlewell
* Copyright (C) 2008 Mark Wooding
*
* This program is free software: you can redistribute it and/or modify
};
/* display usage message and terminate */
-static void help(void) {
+static void attribute((noreturn)) help(void) {
xprintf("Usage:\n"
" disorder-choose [OPTIONS]\n"
"Options:\n"