/*------------------------------------------------------------\
|                                                             |
| Tool    :                  systemcass                       |
|                                                             |
| File    :                  dump_used_options.h              |
|                                                             |
| Author  :                 Buchmann Richard                  |
|                                                             |
| Date    :                   04_JAN_2005                     |
|                                                             |
\------------------------------------------------------------*/
#ifndef DUMP_USED_OPTIONS_H
#define DUMP_USED_OPTIONS_H

namespace sc_core {

extern const char *get_used_options ();

}

#endif