1 files changed, 5 insertions, 0 deletions
diff --git a/cmdutils.h b/cmdutils.h
index d2d722b085..9190a81fd9 100644
--- a/cmdutils.h
+++ b/cmdutils.h
@@ -56,6 +56,11 @@ int opt_default(const char *opt, const char *arg);
 int opt_loglevel(const char *opt, const char *arg);
 
 /**
+ * Limit the execution time.
+ */
+int opt_timelimit(const char *opt, const char *arg);
+
+/**
  * Parses a string and returns its corresponding value as a double.
  * Exits from the application if the string cannot be correctly
  * parsed or the corresponding value is invalid.