From 7a0c5bfdd3468e91f8e01f0f584c91f7d9d8f6b0 Mon Sep 17 00:00:00 2001
From: Joe Finney <joe@comp.lancs.ac.uk>
Date: Thu, 24 Mar 2016 23:32:04 +0000
Subject: [PATCH] microbit: Updated parameter type in scheduler_init() to match
 API.

---
 source/MicroBit.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/MicroBit.cpp b/source/MicroBit.cpp
index 62859f6..7d03dff 100644
--- a/source/MicroBit.cpp
+++ b/source/MicroBit.cpp
@@ -97,7 +97,7 @@ void MicroBit::init()
 #endif
 
     // Bring up fiber scheduler.
-    scheduler_init(&messageBus);
+    scheduler_init(messageBus);
 
     // Seed our random number generator
     seedRandom();