1--TEST-- 2Bug #72581 (previous property undefined in Exception after deserialization) 3--FILE-- 4<?php 5 6$e = new Exception('aaa', 200); 7 8$a = serialize($e); 9 10$b = unserialize($a); 11 12var_dump($b->__toString()); 13?> 14--EXPECTF-- 15string(%s) "Exception: aaa in %sbug72581.php:%d 16Stack trace: 17#0 {main}" 18