#ifndef DEFAULT_OPTIONS_H
#define DEFAULT_OPTIONS_H

/* default_options is a string representing the default
   options to be compiled into UniForM. */

extern const char default_options[];

#endif