Rename double to int

This commit is contained in:
Benedikt Heine 2017-09-19 13:26:30 +02:00
parent 2acc4be55b
commit 530eaaf5ed

View File

@ -373,7 +373,7 @@ char *cmdline_get_path(char *key, const char *def, char *description)
int cmdline_get_int(char *key, int def, char *description)
{
cmdline_usage_append(key, "double", description);
cmdline_usage_append(key, "int", description);
char *str = cmdline_get_value(key);
if (str == NULL)