From 4570184c6b5cc90be4ad5c8222a9e939ddf2d2b4 Mon Sep 17 00:00:00 2001
From: Paul Kaplan <pkaplan@media.mit.edu>
Date: Thu, 19 Jul 2018 16:41:07 -0400
Subject: [PATCH] Fix linting

---
 src/extensions/scratch3_ev3/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/extensions/scratch3_ev3/index.js b/src/extensions/scratch3_ev3/index.js
index 360a739b8..9b1bcba02 100644
--- a/src/extensions/scratch3_ev3/index.js
+++ b/src/extensions/scratch3_ev3/index.js
@@ -342,7 +342,7 @@ class EV3 {
         });
     }
 
-    coastAfter(port, time) {
+    coastAfter (port, time) {
         // Set the motor command id to check before starting coast
         const commandId = uid();
         this._motors.commandId[port] = commandId;