diff --git a/src/Lib/PhpInternals/Types/Zend/ZendObject.php b/src/Lib/PhpInternals/Types/Zend/ZendObject.php
index bf891a43..d0e13eb2 100644
--- a/src/Lib/PhpInternals/Types/Zend/ZendObject.php
+++ b/src/Lib/PhpInternals/Types/Zend/ZendObject.php
@@ -111,7 +111,7 @@ public function getPropertiesIterator(
             ZendObject::getCTypeName(),
             'properties_table',
         );
-        $property_count = $class_entry->properties_info->count();
+        $property_count = $class_entry->default_properties_count;
         if ($property_count === 0) {
             return;
         }