Commit 127aa8c
committed
Remove unnecessary variable
This expression is used exactly once and is a copy of an exprt that we
have a const reference to.1 parent d868948 commit 127aa8c
1 file changed
+1
-3
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
575 | 575 | | |
576 | 576 | | |
577 | 577 | | |
578 | | - | |
579 | | - | |
580 | 578 | | |
581 | 579 | | |
582 | 580 | | |
| |||
640 | 638 | | |
641 | 639 | | |
642 | 640 | | |
643 | | - | |
| 641 | + | |
644 | 642 | | |
645 | 643 | | |
646 | 644 | | |
| |||
0 commit comments