Skip to content

Commit 4daadad

Browse files
committed
Remove misleading comment
This conversion now handles a frontend_decl, which can reasonable have an initialiser.
1 parent 122e201 commit 4daadad

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

src/goto-programs/goto_convert.cpp

-1
Original file line numberDiff line numberDiff line change
@@ -626,7 +626,6 @@ void goto_convertt::convert_frontend_decl(
626626
}
627627
else
628628
{
629-
// this is expected to go away
630629
exprt initializer = code.op1();
631630

632631
codet tmp=code;

0 commit comments

Comments
 (0)