From a671fddc1875b7bc7b3805033fd75a46c23dcd32 Mon Sep 17 00:00:00 2001
From: Mike Sperber <sperber@deinprogramm.de>
Date: Mon, 22 Nov 2010 15:33:49 +0100
Subject: [PATCH] Better signature for `string->number'.

---
 collects/deinprogramm/DMdA.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/deinprogramm/DMdA.rkt b/collects/deinprogramm/DMdA.rkt
index fef2a25dcb..c8a524d9b4 100644
--- a/collects/deinprogramm/DMdA.rkt
+++ b/collects/deinprogramm/DMdA.rkt
@@ -216,7 +216,7 @@
   (number->string (number -> string)
 		  "Zahl in Zeichenkette umwandeln")
 
-  (string->number (string -> (mixed number (one-of #f)))
+  (string->number (string -> (mixed number false))
 		  "Zeichenkette in Zahl umwandeln, falls möglich")
   
   (random (natural -> natural)