From 4d542bc7eafadb16b845cf05d1eb4988eb55ed0f Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 20 Oct 2015 13:32:18 +0200
Subject: Updated PR by removing whitespaces. Bug 17450.

---
 backend/CMlexer.mll | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'backend/CMlexer.mll')

diff --git a/backend/CMlexer.mll b/backend/CMlexer.mll
index 7ed5b4ab..6695b6b7 100644
--- a/backend/CMlexer.mll
+++ b/backend/CMlexer.mll
@@ -21,8 +21,8 @@ exception Error of string
 }
 
 let blank = [' ' '\009' '\012' '\010' '\013']
-let floatlit = 
- ("-"? (['0'-'9'] ['0'-'9' '_']* 
+let floatlit =
+ ("-"? (['0'-'9'] ['0'-'9' '_']*
   ('.' ['0'-'9' '_']* )?
   (['e' 'E'] ['+' '-']? ['0'-'9'] ['0'-'9' '_']*)? )) | "inf" | "nan"
 let ident = ['A'-'Z' 'a'-'z' '_'] ['A'-'Z' 'a'-'z' '_' '$' '0'-'9']*
@@ -69,7 +69,7 @@ rule token = parse
   | "floatofintu"    { FLOATOFINTU }
   | "floatoflong"  { FLOATOFLONG }
   | "floatoflongu" { FLOATOFLONGU }
-  | "goto"  { GOTO } 
+  | "goto"  { GOTO }
   | ">"    { GREATER }
   | ">f"    { GREATERF }
   | ">l"    { GREATERL }
-- 
cgit