From e69fc6a47dd38578e76f23265f27b8a633aa106c Mon Sep 17 00:00:00 2001
From: Adam Barth <abarth@chromium.org>
Date: Mon, 2 Mar 2015 13:11:05 -0800
Subject: [PATCH] Use double rather than float

double is a built-in type in Dart. float isn't...

TBR=eseidel@chromium.org

Review URL: https://codereview.chromium.org/968293003
---
 engine/src/flutter/examples/touch-demo.sky | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/engine/src/flutter/examples/touch-demo.sky b/engine/src/flutter/examples/touch-demo.sky
index 7644d0c403..43f99d2d41 100644
--- a/engine/src/flutter/examples/touch-demo.sky
+++ b/engine/src/flutter/examples/touch-demo.sky
@@ -47,7 +47,7 @@ void stopDots(event) {
 }
 
 void runToTheCenter(event) {
-  float radius = (5 + (95 * event.pressure));
+  double radius = (5 + (95 * event.pressure));
   Element dot = whichDot(event);
   dot.style["transform"] = "translate(${event.x-radius}px,${event.y-radius}px)";
   dot.style["width"] = "${2 * radius}px";