Art,
Which PIC are you using? On the 18F2431, for example, there's the RCON register which contains the bits telling you what caused the reset. In this case RCON.3 ill be '0' when the WDT timed out and caused a reset.

/Henrik.