diff --git a/src/PhpDoc/TypeNodeResolverExtension.php b/src/PhpDoc/TypeNodeResolverExtension.php
index 5b0add8..085cdd8 100644
--- a/src/PhpDoc/TypeNodeResolverExtension.php
+++ b/src/PhpDoc/TypeNodeResolverExtension.php
@@ -18,7 +18,7 @@
 use PHPStan\PhpDoc;
 use PHPStan\PhpDocParser;
 use PHPStan\Type;
-use Prophecy\Prophecy\ObjectProphecy;
+use Prophecy\Prophecy;
 
 /**
  * @internal
@@ -54,7 +54,7 @@ public function resolve(PhpDocParser\Ast\Type\TypeNode $typeNode, Analyser\NameS
                 $type = $this->typeNodeResolver->resolve($innerType, $nameScope);
 
                 if ($type instanceof Type\TypeWithClassName) {
-                    if (ObjectProphecy::class === $type->getClassName()) {
+                    if (Prophecy\ObjectProphecy::class === $type->getClassName()) {
                         $objectProphecyType = $type;
                     } else {
                         $prophesizedType = $type;