If you are getting an error message, it is probably a different message/trace.
If you made the above edit, it is impossible to receive the same message, unless you didn't save the edit, unless your pre-edit file is still in the Zend cache, or unless there is a bug in PHP itself.