From: Igor R (boost.lists_at_[hidden])
Date: 2008-07-27 08:40:41
I found the problem. I was making shared_ptr's of my state machine, so
it's life-time was managed both by shared_ptr, and by the state-chart
framework, which led to double destruction...