add code lost at rebase

executablecode/src_MBED/asyncchannel.cpp

@@ -4,7 +4,6 @@
 #include <mbed.h>
 
 
-
 asyncchannel *getNewAsyncchannel(char *outname, char *inname, int isBlocking, int maxNbOfMessages) {
   asyncchannel * asyncch = (asyncchannel *)(malloc(sizeof(struct asyncchannel)));
   if (asyncch == NULL) {

executablecode/src_MBED/debug.cpp

@@ -6,6 +6,7 @@
 #define DEBUG_OFF 2
 //Serial pc(USBTX,USBRX);
 
+#include <mbed.h>
 #include "debug.h"
 
 int _debug = DEBUG_OFF;

executablecode/src_MBED/tracemanager.cpp

@@ -280,6 +280,7 @@ void traceRequest(char *myname, request *req) {
   
       break;
     case RECEIVE_SYNC_REQUEST:
+      
       sprintf(s, "block=%s type=receive_synchro channel=%s\n", myname, req->syncChannel->inname);
       break;
     case SEND_ASYNC_REQUEST: