diff options
Diffstat (limited to 'ps/printer.ps')
| -rw-r--r-- | ps/printer.ps | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ps/printer.ps b/ps/printer.ps index de91d80..3062e2d 100644 --- a/ps/printer.ps +++ b/ps/printer.ps @@ -1,5 +1,3 @@ -(in printer.ps\n) print - % requires types.ps to be included first % ast print_readably -> _pr_str -> string |