|
@@ -51,7 +51,7 @@ namespace artis {
|
|
|
virtual void transition(const common::Bag<Time>& /* x */,
|
|
|
typename Time::type /* t */) { }
|
|
|
|
|
|
- void start(typename Time::type/* time */) { }
|
|
|
+ virtual void start(typename Time::type/* time */) { }
|
|
|
|
|
|
virtual common::Bag<Time> lambda(
|
|
|
typename Time::type /* time */) const { return common::Bag<Time>(); }
|