Fix bug in randpool_init.

[bertos.git] / os / hptime.c

diff --git a/os/hptime.c b/os/hptime.c
index 33427e6b89c2c094c78c8ccd838ff972c9c6804d..7be9ea206c0c9428871846444b88b8e5f0ababe0 100755 (executable)
--- a/os/hptime.c
+++ b/os/hptime.c
@@ -10,6 +10,7 @@
  * \version $Id$
  * \author Bernardo Innocenti <bernie@develer.com>
  */
+
 #include "hptime.h"
 
 #if defined(_WIN32)