51a52,58
> namespace sc_core
> {
>
> class sc_join;
>
> } // namespace sc_core
>
349a357,358
> void joinWait(::sc_core::sc_join *join) { joinWaiters.push_back(join); }
>
398a408,409
>
> std::vector<::sc_core::sc_join *> joinWaiters;