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