Merge pull request #381 from bebehei/typo-1

Rename double to int
This commit is contained in:
Nikos Tsipinakis 2017-09-20 10:32:29 +03:00 committed by GitHub
commit ad31bb975c

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) 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); char *str = cmdline_get_value(key);
if (str == NULL) if (str == NULL)