From 0e1d52500d49cf6c25944282509990f0060cebdf Mon Sep 17 00:00:00 2001
From: Alexey <AlexeyAB@users.noreply.github.com>
Date: Wed, 27 Jun 2018 22:41:52 +0000
Subject: [PATCH] Merge pull request #1111 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