X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fdrv%2Ftimer.h;h=40802b543cb9f981f909e6c731fc1e17a8e499b9;hb=8baedd5c716fca8f63e9c9b2e64071f12c29dc9d;hp=a81b96f3dc0e609cfee5ede75c7be6d4776a516f;hpb=02ff80f12bed48e4d9ae8524588fd98a4104aff3;p=bertos.git

diff --git a/bertos/drv/timer.h b/bertos/drv/timer.h
index a81b96f3..40802b54 100644
--- a/bertos/drv/timer.h
+++ b/bertos/drv/timer.h
@@ -70,6 +70,8 @@
 	#include CPU_HEADER(timer)
 #endif
 
+STATIC_ASSERT(sizeof(hptime_t) == SIZEOF_HPTIME_T);
+
 #include "cfg/cfg_timer.h"
 #include <cfg/debug.h>
 #include <cfg/compiler.h>