From 10874691d93d6cc8efdd40d11624671d4db3eae6 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 29 Jul 2014 17:03:38 -0400 Subject: [PATCH] Fix typo in GUI type original commit: 565fb07064a59cd07671bc858e1347648a083f95 --- .../typed-racket-more/typed/racket/private/gui-types.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt index 21ade345..675b13bf 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt @@ -2637,7 +2637,7 @@ [get-version (-> Integer)] [read ((Instance Editor-Stream-In%) -> (Option (Instance Snip%)))] [read-header ((Instance Editor-Stream-In%) -> Boolean)] - [reading-header ((Instance Editor-Stream-In%) -> Boolean)] + [reading-version ((Instance Editor-Stream-In%) -> Integer)] [set-classname (String -> Void)] [set-version (Integer -> Void)] [write-header ((Instance Editor-Stream-Out%) -> Boolean)]))