We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 21ea31f + ef4a65e commit e2cda1aCopy full SHA for e2cda1a
src/cpp/cpp_typecheck_constructor.cpp
@@ -48,7 +48,7 @@ static void copy_parent(
48
code.operands().push_back(exprt("explicit-typecast"));
49
exprt &op1=code.op1();
50
51
- op0.type()=
+ op1.type() =
52
pointer_type(cpp_namet(parent_base_name, source_location).as_type());
53
op1.type().set(ID_C_reference, true);
54
op1.type().subtype().set(ID_C_constant, true);
0 commit comments