Merge pull request #1212 from tinohager/master

Alexey

2018-07-14 0ae1cd81d2952721c9b51210eff2cc99c4dbbab6

 src/utils.h

@@ -45,6 +45,7 @@
void malloc_error();
void file_error(char *s);
void strip(char *s);
void strip_args(char *s);
void strip_char(char *s, char bad);
void top_k(float *a, int n, int k, int *index);
list *split_str(char *s, char delim);