From 34f9e35ba9a443eed4a043be32680a4833f84e65 Mon Sep 17 00:00:00 2001
From: Tom Payne <twpayne@gmail.com>
Date: Mon, 30 Jul 2012 11:56:34 +0200
Subject: [PATCH] Remove trailing zeros

---
 src/ol/webgl/map.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/ol/webgl/map.js b/src/ol/webgl/map.js
index 7199c3fe93..860e351334 100644
--- a/src/ol/webgl/map.js
+++ b/src/ol/webgl/map.js
@@ -73,8 +73,8 @@ ol.webgl.map.shader.Fragment = function() {
     '  }',
     '',
     '  if (uSaturation != 0.) {',
-    '    float average = (color.r + color.g + color.b) / 3.0;',
-    '    if (uSaturation > 0.0) {',
+    '    float average = (color.r + color.g + color.b) / 3.;',
+    '    if (uSaturation > 0.) {',
     '      color.rgb += (average - color.rgb)',
     '                   * (1. - 1. / (1. - uSaturation));',
     '    } else {',
@@ -85,7 +85,7 @@ ol.webgl.map.shader.Fragment = function() {
     '  color.rgb += uBrightness;',
     '',
     '  if (uContrast != 0.) {',
-    '    if (uContrast > 0.0) {',
+    '    if (uContrast > 0.) {',
     '      color.rgb = (color.rgb - 0.5) / (1. - uContrast) + 0.5;',
     '    } else {',
     '      color.rgb = (color.rgb - 0.5) * (1. + uContrast) + 0.5;',