From 04c0c4fdf84bb7b9e89604e8b9a6079016d5968c Mon Sep 17 00:00:00 2001
From: Alexey <AlexeyAB@users.noreply.github.com>
Date: Wed, 04 Jul 2018 16:06:41 +0000
Subject: [PATCH] Merge pull request #1132 from tinohager/master

---
 src/utils.h |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/src/utils.h b/src/utils.h
index e2afba4..58cea93 100644
--- a/src/utils.h
+++ b/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);

--
Gitblit v1.10.0