From ef4a65e85f88ac58eac882c9b8cd3c532729d57d Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Sun, 7 Jan 2018 19:05:55 +0000
Subject: [PATCH] Fix op1/op0 copy&paste typo

The typo was introduced in a9806c0432f7c4c9a708eed14428b187f8ed735a.

Also adjusting to clang-format rules.
---
 src/cpp/cpp_typecheck_constructor.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cpp/cpp_typecheck_constructor.cpp b/src/cpp/cpp_typecheck_constructor.cpp
index 813e2c76ef6..dc4a1260090 100644
--- a/src/cpp/cpp_typecheck_constructor.cpp
+++ b/src/cpp/cpp_typecheck_constructor.cpp
@@ -48,7 +48,7 @@ static void copy_parent(
   code.operands().push_back(exprt("explicit-typecast"));
   exprt &op1=code.op1();
 
-  op0.type()=
+  op1.type() =
     pointer_type(cpp_namet(parent_base_name, source_location).as_type());
   op1.type().set(ID_C_reference, true);
   op1.type().subtype().set(ID_C_constant, true);