copton/ocram

Logging end of DocL

copton opened this issue · 0 comments

Currently the patch to pretty print only logs the beginning of a DocL. We also need to log the end of it.

Applications:

  • map between P- and E-rows of the closing bracket of a function. GDB steps there when the function returns