diff --git a/plugins/utils.h b/plugins/utils.h
index f15a7b161de69541a59629198f622fa30e89d30e..bb99ee16499f95ae9484a8596c143d4ceed9460c 100644 (file)
--- a/plugins/utils.h
+++ b/plugins/utils.h
char *strpcat (char *, const char *, const char *);
int max_state (int a, int b);
+int max_state_alt (int a, int b);
void usage (const char *) __attribute__((noreturn));
void usage2(const char *, const char *) __attribute__((noreturn));