PHP Fatal error: Class ‘PrestaShopCollection’ not found in ObjectModel.php on line 1551

En los logs del servidor hemos visto que la tienda Prestashop de un cliente mostraba este error:
[Fri Feb 12 09:49:53 2016] [warn] [client 87.98.227.32] mod_fcgid: stderr: PHP Fatal error: Class ‘PrestaShopCollection’ not found in /var/www/vhosts/milcestas.es/httpdocs/classes/ObjectModel.php on line 1551

PHP Fatal error: Class ‘PrestaShopCollection’ not found in
/var/www/vhosts/milcestas.es/httpdocs/classes/ObjectModel.php on line
1551

No estaba cargando la clase «PrestaShopCollection»

Hemos borrado el fichero de la cache de clases «cache/class_index.php»

Al cargar la página de nuevo, se ha regenerado ese índice, incluyendo la clase PrestaShopCollection que antes faltaba.

https://www.prestashop.com/forums/topic/244823-cacheclass-indexphp-is-corrupted/