#ifndef FLAGNAMES_H
#define FLAGNAMES_H

#include "flags.h"

//! an array of flag names
extern char **flag_names;

//! load the flags from the flags file
void load_flags();

//! load the pflags from the pflags file
void load_pflags();

#endif