From ba73ab71fa4df14cbf55bf4111c791eea21a85c8 Mon Sep 17 00:00:00 2001 From: Samo Penic <samo.penic@fe.uni-lj.si> Date: Fri, 27 May 2016 08:20:01 +0000 Subject: [PATCH] Added some basic help on flags. Unformatted. --- 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