From e37aeb0c7463db6755faca482d25e6afeb384e1a Mon Sep 17 00:00:00 2001
From: petroborys <petro.borys@gmail.com>
Date: Mon, 30 Nov 2020 18:53:01 +0200
Subject: [PATCH] Workaround to fix RTC-reset issue on the EFM32GG11_STK3701

---
 targets/TARGET_Silicon_Labs/TARGET_EFM32/rtcc.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/targets/TARGET_Silicon_Labs/TARGET_EFM32/rtcc.c b/targets/TARGET_Silicon_Labs/TARGET_EFM32/rtcc.c
index 83b41bab34..108802182a 100644
--- a/targets/TARGET_Silicon_Labs/TARGET_EFM32/rtcc.c
+++ b/targets/TARGET_Silicon_Labs/TARGET_EFM32/rtcc.c
@@ -55,7 +55,7 @@ void rtc_init(void)
     /* Save time if it has been set */
     time_t t = 0;
     if (RTCC->RET[1].REG == 0) {
-    	t = rtc_read();
+        t = rtc_read();
     }
 
     RTCC_Reset();
@@ -66,9 +66,9 @@ void rtc_init(void)
 
     /* Update time */
     if (RTCC->RET[1].REG == 0) {
-    	rtc_write(t);
+        rtc_write(t);
     } else {
-    	RTCC->RET[0].REG = 0;
+        RTCC->RET[0].REG = 0;
     }
 }