60a61,63
> class sc_event;
> class sc_time;
>
110a114,121
> // Nonstandard
> // sc_trace overloads for sc_event and sc_time.
> void sc_trace(sc_trace_file *, const sc_event &, const std::string &);
> void sc_trace(sc_trace_file *, const sc_event *, const std::string &);
> void sc_trace(sc_trace_file *, const sc_time &, const std::string &);
> void sc_trace(sc_trace_file *, const sc_time *, const std::string &);
>
>