From ac6754647a92efe81f8d49288a41ab35693864a4 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 20 Nov 2012 07:15:28 -0700 Subject: [PATCH] racket/gui gtk: fix `end-doc' for `printer-dc%' Contract demands a void result. original commit: 31f7cfb4867ba5a6b7367eeea32058f0c44fd001 --- collects/mred/private/wx/gtk/printer-dc.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/mred/private/wx/gtk/printer-dc.rkt b/collects/mred/private/wx/gtk/printer-dc.rkt index 651c6f28..c3021119 100644 --- a/collects/mred/private/wx/gtk/printer-dc.rkt +++ b/collects/mred/private/wx/gtk/printer-dc.rkt @@ -230,4 +230,5 @@ [op-gtk (gtk_print_operation_new)] [pages (reverse pages)] [page-setup page-setup]) - go)))) + go) + (void))))