From f0ceaf7165b1de4f700061f933bf9689036eb306 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 22 Jun 2018 12:42:08 +0100
Subject: [PATCH] expr2c: indent output of code_deadt

---
 src/ansi-c/expr2c.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ansi-c/expr2c.cpp b/src/ansi-c/expr2c.cpp
index 259a6bfe2e4..be545dad05f 100644
--- a/src/ansi-c/expr2c.cpp
+++ b/src/ansi-c/expr2c.cpp
@@ -2786,7 +2786,7 @@ std::string expr2ct::convert_code_dead(
     return convert_norep(src, precedence);
   }
 
-  return "dead "+convert(src.op0())+";";
+  return indent_str(indent)  + "dead " + convert(src.op0()) + ";";
 }
 
 std::string expr2ct::convert_code_for(