diff --git a/src/CFG/C.hs b/src/CFG/C.hs
index 1e64324d122df9d658c9bfaa2118fe04ae07d611..2401f3adcf144b510cbbbacfcdbdbcae4d6d5ed5 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