From 6c4c33e0092ac14d75f1667ae4dcafeec9728273 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Fri, 21 Oct 2011 21:06:54 +0200
Subject: [PATCH] Clean up character pattern in float.rs

This is actually a test to see if I fixed the bot.
---
 src/lib/float.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/float.rs b/src/lib/float.rs
index 928f33ecc02..1d444b3111a 100644
--- a/src/lib/float.rs
+++ b/src/lib/float.rs
@@ -64,7 +64,7 @@ fn from_str(num: str) -> float {
        c   = char_range.ch;
        pos = char_range.next;
        alt c {
-          '0' | '1' | '2' | '3' | '4' | '5' | '6'| '7' | '8' | '9'  {
+         '0' to '9' {
            total = total * 10f;
            total += ((c as int) - ('0' as int)) as float;
          }