#include <src/kernel/activity/ActivityImpl.hpp>
#include <src/kernel/activity/CommImpl.hpp>
+#include <src/kernel/activity/ExecImpl.hpp>
#include <boost/intrusive_ptr.hpp>
inline void unmarshal(type<void>, u_smx_scalar const& simcall)
{
+ /* Nothing to do for void data */
}
inline void unmarshal_raw(type<void>, u_smx_scalar const& simcall)
{
+ /* Nothing to do for void data */
}
template<class T> inline