From 8c55ada827e65e5e40dc44a7935ab4b1a0b14adf Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Sat, 6 Feb 2016 06:22:13 -0500
Subject: [PATCH] Fix typo in ground.js

---
 js/src/ground.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/js/src/ground.js b/js/src/ground.js
index 7841c50..c0be063 100644
--- a/js/src/ground.js
+++ b/js/src/ground.js
@@ -21,10 +21,10 @@ Ground.prototype.step = function () {
 };
 
 Ground.prototype.checkPid = function (pid) {
-  if (pid !== -1) console.error('Weird pid in Ground markPidRunnable', pid);
+  if (pid !== -1) console.error('Weird pid in Ground', pid);
 };
 
-Ground.prototype.markPidRunnable = function (pid) {
+Ground.prototype.markRunnable = function (pid) {
   this.checkPid(pid);
   this.startStepping();
 };