Fatal error: Uncaught Error: Class 'Prophecy\Exception\Doubler\DoubleException' not found in D:\svn\bitfx\vendor\phpspec\prophecy\src\Prophecy\Exception\Doubler\MethodNotExtendableException.php:5
Stack trace:
#0 {main}
thrown in D:\svn\bitfx\vendor\phpspec\prophecy\src\Prophecy\Exception\Doubler\MethodNotExtendableException.php on line 5