[Christophe Henry]

...

Maybe Stephan is aware of this problem?

I haven't heard of this problem before. (Is a templated constructor involved? They can be squirrely.)

There are quite a few ones, yes. But I'd suspect a problem with inheriting. I got quite a few problems with getting a wrong type when inheriting from state_machine. Specifically, the compiler saw the derived type (we call it Derived) sometimes as Derived, sometimes as state_machine<Derived...>. Regards, Christophe

Stephan T. Lavavej Visual C++ Libraries Developer