From 4dda6ef29834a9cd27eba2507f5ca587fbb6b9b4 Mon Sep 17 00:00:00 2001
From: Joe Finney <joe@comp.lancs.ac.uk>
Date: Fri, 7 Sep 2018 14:51:26 +0100
Subject: [PATCH] Disable DEBUG information

---
 inc/core/MicroBitConfig.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/inc/core/MicroBitConfig.h b/inc/core/MicroBitConfig.h
index ccb8ed6..fe086ee 100644
--- a/inc/core/MicroBitConfig.h
+++ b/inc/core/MicroBitConfig.h
@@ -425,14 +425,14 @@ extern uint32_t __etext;
 // n.b. This also disables the user serial port 'uBit.serial'.
 // Set '1' to enable.
 #ifndef MICROBIT_DBG
-#define MICROBIT_DBG                            1
+#define MICROBIT_DBG                            0
 #endif
 
 // Enable this to receive diagnostic messages from the heap allocator via the USB serial interface.
 // n.b. This requires MICROBIT_DBG to be defined.
 // Set '1' to enable.
 #ifndef MICROBIT_HEAP_DBG
-#define MICROBIT_HEAP_DBG                       1
+#define MICROBIT_HEAP_DBG                       0
 #endif
 
 // Versioning options.