Just ran into this on a 18F4431 trying to get a heartbeat to work inside a ISR using DT-INTS:

Code:
'**** TMR0 Int Handler ******
ToggleLED:
   HIGH PORTA.0
   PAUSEUS 100
   LOW PORTA.0
@INT_RETURN
...Worked, while:
Code:
'**** TMR0 Int Handler ******
ToggleLED:
   TOGGLE PORTA.0
@INT_RETURN
Did not.
Thanks for posting this. I don't know if I would have figured it out on my own.
Bo