diff -r 677179c76e35 -r 0711775cb6b0 progs/C1.c
--- a/progs/C1.c	Tue Oct 08 02:22:53 2013 +0100
+++ b/progs/C1.c	Tue Oct 08 05:53:21 2013 +0100
@@ -1,6 +1,6 @@
 void foo (char *bar)
 {
-  float my_float = 10.5;    // in hex: \x41\x28\x00\x00
+  float my_float = 10.5;  // in hex: \x41\x28\x00\x00
   char  buffer[28];        
 
   printf("my float value = %f\n", my_float);