Debugging library

Revision:
1:05bd8eb25467
Parent:
0:57b729dee92c
--- a/MDebugger.cpp	Wed Jun 25 14:33:12 2014 +0000
+++ b/MDebugger.cpp	Wed Jun 25 14:57:57 2014 +0000
@@ -159,7 +159,7 @@
     }
     else
     {
-        return (MDEBUGGER_CIRCULAR_BUFFER_HEAD[channel] == MDEBUGGER_CIRCULAR_BUFFER_TAIL[channel]);
+        return (MDEBUGGER_CIRCULAR_BUFFER_HEAD[channel] == MDEBUGGER_CIRCULAR_BUFFER_TAIL[channel]) ? 1 : 0;
     }
 }
 
@@ -168,7 +168,7 @@
 void mdebug_print_system_info()
 {
     uint32_t ControlRegister    = __get_CONTROL();
-    uint32_t MSP                            = __get_MSP();
+    uint32_t MSP                = __get_MSP();
     uint32_t PSP;
     uint32_t IPSR;
     uint32_t PRIMASK;