From 712ee0cc68d12e6cc02309a7e96e7f05d25c416e Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Thu, 16 Sep 2010 18:27:42 -0600
Subject: [PATCH] fix checking of dc<%> set-pen method arguments

---
 collects/racket/draw/dc.rkt  | 2 +-
 collects/racket/draw/pen.rkt | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/collects/racket/draw/dc.rkt b/collects/racket/draw/dc.rkt
index 4a3bd49141..cbad22887a 100644
--- a/collects/racket/draw/dc.rkt
+++ b/collects/racket/draw/dc.rkt
@@ -493,7 +493,7 @@
        args
        [([pen% p]) (set-pen! p) (reset-align!)]
        [([(make-alts string? color%) col]
-         [exact-nonnegative-integer? width]
+         [pen-width? width]
          [pen-style-symbol? style])
         (set-pen! (send the-pen-list find-or-create-pen col width style))
         (reset-align!)]
diff --git a/collects/racket/draw/pen.rkt b/collects/racket/draw/pen.rkt
index adb354c013..bd26946a1e 100644
--- a/collects/racket/draw/pen.rkt
+++ b/collects/racket/draw/pen.rkt
@@ -7,6 +7,7 @@
 
 (provide pen%
          pen-list% the-pen-list
+         pen-width?
          pen-style-symbol?)
 
 (define (pen-style-symbol? s)