Skip to content

Commit c873d05

Browse files
committed
Formatting change only: remove block that is no longer necessary
Whitespace changes only, no change in behaviour.
1 parent 0b7fc96 commit c873d05

File tree

1 file changed

+20
-22
lines changed

1 file changed

+20
-22
lines changed

jbmc/src/java_bytecode/expr2java.cpp

Lines changed: 20 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -129,33 +129,31 @@ std::string expr2javat::convert_struct(
129129
DATA_INVARIANT(
130130
c.type().id() != ID_code, "struct member must not be of code type");
131131

132-
{
133-
std::string tmp=convert(*o_it);
134-
std::string sep;
132+
std::string tmp = convert(*o_it);
133+
std::string sep;
135134

136-
if(first)
137-
first=false;
138-
else
135+
if(first)
136+
first = false;
137+
else
138+
{
139+
if(last_size + 40 < dest.size())
139140
{
140-
if(last_size+40<dest.size())
141-
{
142-
sep=",\n ";
143-
last_size=dest.size();
144-
}
145-
else
146-
sep=", ";
141+
sep = ",\n ";
142+
last_size = dest.size();
147143
}
148-
149-
dest+=sep;
150-
dest+='.';
151-
irep_idt field_name = c.get_pretty_name();
152-
if(field_name.empty())
153-
field_name = c.get_name();
154-
dest += id2string(field_name);
155-
dest+='=';
156-
dest+=tmp;
144+
else
145+
sep = ", ";
157146
}
158147

148+
dest += sep;
149+
dest += '.';
150+
irep_idt field_name = c.get_pretty_name();
151+
if(field_name.empty())
152+
field_name = c.get_name();
153+
dest += id2string(field_name);
154+
dest += '=';
155+
dest += tmp;
156+
159157
o_it++;
160158
}
161159

0 commit comments

Comments
 (0)