1 files changed, 0 insertions, 71 deletions
diff --git a/gfsm/gfsm/src/programs/gfsmcompre_cmdparser.h b/gfsm/gfsm/src/programs/gfsmcompre_cmdparser.h
deleted file mode 100644
index 32361ea..0000000
--- a/gfsm/gfsm/src/programs/gfsmcompre_cmdparser.h
+++ /dev/null
@@ -1,71 +0,0 @@
-/* -*- Mode: C -*-
- *
- * File: gfsmcompre_cmdparser.h
- * Description: Headers for command-line parser struct gengetopt_args_info.
- *
- * File autogenerated by optgen.perl version 0.05.
- *
- */
-
-#ifndef gfsmcompre_cmdparser_h
-#define gfsmcompre_cmdparser_h
-
-#ifdef __cplusplus
-extern "C" {
-#endif /* __cplusplus */
-
-/*
- * moocow: Never set PACKAGE and VERSION here.
- */
-
-struct gengetopt_args_info {
-  char * labels_arg;	 /* Basic label alphabet (default=NULL). */
-  char * regex_arg;	 /* Regular expression to compile (default=NULL). */
-  int string_flag;	 /* Compile as string, not regex (default=0). */
-  char * semiring_arg;	 /* Specify semiring type (default=tropical). */
-  int compress_arg;	 /* Specify compression level of output file. (default=-1). */
-  char * output_arg;	 /* Specifiy output file (default=stdout). (default=-). */
-
-  int help_given;	 /* Whether help was given */
-  int version_given;	 /* Whether version was given */
-  int labels_given;	 /* Whether labels was given */
-  int regex_given;	 /* Whether regex was given */
-  int string_given;	 /* Whether string was given */
-  int semiring_given;	 /* Whether semiring was given */
-  int compress_given;	 /* Whether compress was given */
-  int output_given;	 /* Whether output was given */
-  
-  char **inputs;         /* unnamed arguments */
-  unsigned inputs_num;   /* number of unnamed arguments */
-};
-
-/* read rc files (if any) and parse all command-line options in one swell foop */
-int  cmdline_parser (int argc, char *const *argv, struct gengetopt_args_info *args_info);
-
-/* instantiate defaults from environment variables: you must call this yourself! */
-void cmdline_parser_envdefaults (struct gengetopt_args_info *args_info);
-
-/* read a single rc-file */
-void cmdline_parser_read_rcfile (const char *filename,
-				    struct gengetopt_args_info *args_info,
-				    int user_specified);
-
-/* read a single rc-file (stream) */
-void cmdline_parser_read_rc_stream (FILE *rcfile,
-				       const char *filename,
-				       struct gengetopt_args_info *args_info);
-
-/* parse a single option */
-int cmdline_parser_parse_option (char oshort, const char *olong, const char *val,
-				    struct gengetopt_args_info *args_info);
-
-/* print help message */
-void cmdline_parser_print_help(void);
-
-/* print version */
-void cmdline_parser_print_version(void);
-
-#ifdef __cplusplus
-}
-#endif /* __cplusplus */
-#endif /* gfsmcompre_cmdparser_h */