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