source: Deliverables/D4.1/pretty.mli @ 121

Last change on this file since 121 was 121, checked in by mulligan, 10 years ago

Fixed obscure type error in pretty.

File size: 55 bytes
Line 
1val pp_instruction: ASM.labelled_instruction -> string
Note: See TracBrowser for help on using the repository browser.