9#ifndef CPROVER_SYMTAB2GB_SYMTAB2GB_PARSE_OPTIONS_H
10#define CPROVER_SYMTAB2GB_SYMTAB2GB_PARSE_OPTIONS_H
14#define SYMTAB2GB_OUT_FILE_OPT "out"
15#define SYMTAB2GB_GOTO_FUNCTIONS_OPT "goto-functions"
19#define SYMTAB2GB_OPTIONS \
20 "(" SYMTAB2GB_OUT_FILE_OPT "):" \
21 "(" SYMTAB2GB_GOTO_FUNCTIONS_OPT "):" \
void register_languages() override