[horde] Hooks error after CVS update

[Rick Emery]

I *just* updated from CVS and am getting this error when going to the
login page:

Notice: Undefined property: _hooksCalled in
/var/www/html/horde/lib/Prefs.php on line 824

despite it apparently being defined earlier in the file.

I re-updated from CVS, then deleted the file (Prefs.php) and re-downloaded
it from CVS, but still get the error.

Ideas?

Thanks in advance,
Rick