From bd7cf9c922d4995098a850dfc3becf99263a8a63 Mon Sep 17 00:00:00 2001
From: Horst Schirmeier <horst.schirmeier@tu-dortmund.de>
Date: Mon, 23 Nov 2020 16:19:53 +0100
Subject: [PATCH] ecos_kernel_test: formatting

Change-Id: I4bccb9a7c4fe286c34f4a74ad641e9107039c47b
---
 src/experiments/ecos_kernel_test/experiment.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/experiments/ecos_kernel_test/experiment.cc b/src/experiments/ecos_kernel_test/experiment.cc
index 32d38279..41e8b9be 100644
--- a/src/experiments/ecos_kernel_test/experiment.cc
+++ b/src/experiments/ecos_kernel_test/experiment.cc
@@ -756,7 +756,7 @@ bool EcosKernelTestExperiment::faultInjection() {
 		result->set_latest_ip(simulator.getCPU(0).getInstructionPointer());
 
 		// record error_corrected regardless of result
-                if ( (addr_errors_corrected != ADDR_INV) && mm.isMapped(addr_errors_corrected) ) {
+		if ( (addr_errors_corrected != ADDR_INV) && mm.isMapped(addr_errors_corrected) ) {
 			int32_t error_corrected = mm.getByte(addr_errors_corrected);
 			result->set_error_corrected(error_corrected ? result->TRUE : result->FALSE);
 		} else {