From c37ddc02423f806716dcbe6403d9d9d03f5668eb Mon Sep 17 00:00:00 2001 From: Samo Penic <samo.penic@gmail.com> Date: Mon, 04 Jul 2016 18:35:35 +0000 Subject: [PATCH] Small addition, not sure if it is necessary --- src/io.h | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/io.h b/src/io.h index 11555f3..2243555 100644 --- a/src/io.h +++ b/src/io.h @@ -81,7 +81,7 @@ ts_bool tape_free(ts_tape *tape); ts_bool getcmdline_tape(cfg_t *cfg, char *opts); ts_bool cmdline_to_tape(cfg_t *cfg, char *key, char *val); - +ts_bool print_help(FILE *fd); ts_bool dump_state(ts_vesicle *vesicle, ts_uint iteration); ts_vesicle *restore_state(ts_uint *iteration); #endif -- Gitblit v1.9.3