Error in Serial Printing

Dependencies:   mbed-rtos mbed

Revision:
0:c9a8a9f0e3b6
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main.cpp	Wed Jun 25 06:57:18 2014 +0000
@@ -0,0 +1,11 @@
+/*Code to print simple Hello World statement with a timestamp */
+#include "mbed.h"
+Serial pc(USBTX,USBRX);          //Include serial interface with pc
+Timer t ;                     //Function to include the timestamp
+int main(){
+    //wait(0.1);                
+    t.start();
+    pc.printf("Hello World-----%f\n\r",t.read());   
+    fflush(stdout);        //In order to flush out buffer
+    t.stop();
+}
\ No newline at end of file