From 0e3ede92a01981cfe878665aaa62cee0ae8bb6b1 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 3 Jul 2013 10:55:38 -0500
Subject: [PATCH] fix contract

---
 pkgs/gui-pkgs/gui-doc/mrlib/scribblings/image-core.scrbl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/gui-pkgs/gui-doc/mrlib/scribblings/image-core.scrbl b/pkgs/gui-pkgs/gui-doc/mrlib/scribblings/image-core.scrbl
index 1d68280db1..c1e0d18728 100644
--- a/pkgs/gui-pkgs/gui-doc/mrlib/scribblings/image-core.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/mrlib/scribblings/image-core.scrbl
@@ -13,8 +13,8 @@ up an image.
 
 @defproc[(render-image [image image?]
                        [dc (is-a?/c dc<%>)]
-                       [dx number?]
-                       [dy number?])
+                       [dx real?]
+                       [dy real?])
          void?]{
   Draws @racket[image] in @racket[dc] at the position (@racket[dx],@racket[dy]).
 }