From 1373211465c34015ee900e097aa87fbffb401187 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Sun, 29 Jan 2017 19:54:26 +0100 Subject: Trying out ACSL, continuing implementation. --- src/cli/parameters.h | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 src/cli/parameters.h (limited to 'src/cli/parameters.h') diff --git a/src/cli/parameters.h b/src/cli/parameters.h deleted file mode 100644 index 7927ef7..0000000 --- a/src/cli/parameters.h +++ /dev/null @@ -1,18 +0,0 @@ -#ifndef _ZoO_CLI_PARAMETERS_H_ -#define _ZoO_CLI_PARAMETERS_H_ - -#include "parameters_types.h" - -char * ZoO_parameters_get_session_name -( - const struct ZoO_parameters param [const restrict static 1] -); - -enum ZoO_invocation_objective ZoO_parameters_initialize -( - struct ZoO_parameters param [const restrict static 1], - int const argc, - const char * argv [const static argc] -); - -#endif -- cgit v1.2.3-70-g09d2