diff options
| author | Eike Rathke <erack@redhat.com> | 2016-08-25 12:53:48 +0200 |
|---|---|---|
| committer | Eike Rathke <erack@redhat.com> | 2016-08-25 15:51:52 +0200 |
| commit | f26a37e4ad0b74c04b6c19c43c1ad209e6f92756 (patch) | |
| tree | 442a1d92da8fd8401df3c9ad2298864d07d240ac /nlpsolver | |
| parent | 035fc620b833a853a5ef84a7a05298be8d91a24c (diff) | |
use PushWithoutError() when fishing from and pushing to the stack
... so no unnecessary copy is created.
Change-Id: I0fbd31c0b6faf8691405a53884d8740f80d7ad4e
Diffstat (limited to 'nlpsolver')
0 files changed, 0 insertions, 0 deletions