From 6ca92f401f00b7286b8191e0044d3faca6bb8e5c Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Mon, 12 Dec 2016 16:33:26 +0100
Subject: [PATCH] C: Better indentation of interrupt triggering loop
Makes it easier to read
---
src/CFG/C.hs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/CFG/C.hs b/src/CFG/C.hs
index 1e64324..2401f3a 100644
--- a/src/CFG/C.hs
+++ b/src/CFG/C.hs
@@ -101,9 +101,9 @@ triggerInterrupts (Just ints) = do
return $
"while (1) {\n"
- <> "int _triggeredSomeInterrupt = 0;\n"
+ <> " int _triggeredSomeInterrupt = 0;\n"
<> triggerCode
- <> "if (_triggeredSomeInterrupt == 0) break;\n"
+ <> " if (_triggeredSomeInterrupt == 0) break;\n"
<> "}\n"
where triggerInterrupt int = do
--
GitLab