From 22df5741a4e73658178434050a69ee3dbebe5396 Mon Sep 17 00:00:00 2001
From: rajszym <rajszym@o2.pl>
Date: Fri, 14 Jul 2017 09:50:35 +0200
Subject: [PATCH] minor update

---
 StateOS/kernel/osbase.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/StateOS/kernel/osbase.h b/StateOS/kernel/osbase.h
index 104b2191..9098cf69 100644
--- a/StateOS/kernel/osbase.h
+++ b/StateOS/kernel/osbase.h
@@ -2,7 +2,7 @@
 
     @file    StateOS: osbase.h
     @author  Rajmund Szymanski
-    @date    12.07.2017
+    @date    14.07.2017
     @brief   This file contains basic definitions for StateOS.
 
  ******************************************************************************
@@ -89,9 +89,9 @@ struct __sys
 	tsk_t  * cur;   // pointer to the current task control block
 #if OS_TIMER == 0
 	volatile
-	uint32_t    cnt;   // system timer counter
+	uint32_t cnt;   // system timer counter
 #if OS_ROBIN
-	uint32_t    dly;   // task switch counter
+	uint32_t dly;   // task switch counter
 #endif
 #endif
 };