From 3d2d0a7c98dbc8923d9ff705b81ff4f7940ea6ff Mon Sep 17 00:00:00 2001
From: Alexey <AlexeyAB@users.noreply.github.com>
Date: Tue, 10 Jul 2018 22:24:17 +0000
Subject: [PATCH] Merge pull request #1172 from sberan/flush-stdout

---
 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