From e0c016fbf4308dbcd73fd41476bf753e1ed37556 Mon Sep 17 00:00:00 2001
From: Peli de Halleux <jhalleux@microsoft.com>
Date: Tue, 29 Nov 2016 15:15:22 -0800
Subject: [PATCH] moving definition out of ksbit.h

---
 libs/core/ksbit.h | 4 ----
 libs/core/pxt.h   | 2 ++
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/libs/core/ksbit.h b/libs/core/ksbit.h
index f1d3f4b5..e182bdee 100644
--- a/libs/core/ksbit.h
+++ b/libs/core/ksbit.h
@@ -6,7 +6,3 @@ MicroBitPin *getPin(int id);
 typedef ImageData* Image;
 typedef BufferData* Buffer;
 
-namespace pxt {
-  uint32_t programSize();
-  uint32_t afterProgramPage();    
-}
diff --git a/libs/core/pxt.h b/libs/core/pxt.h
index 9ecf2332..46c923ab 100644
--- a/libs/core/pxt.h
+++ b/libs/core/pxt.h
@@ -61,6 +61,8 @@ namespace pxt {
   uint32_t *allocate(uint16_t sz);
   int templateHash();
   int programHash();
+  uint32_t programSize();
+  uint32_t afterProgramPage();     
   int getNumGlobals();
   RefRecord* mkClassInstance(int vtableOffset);