diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-09-03 23:46:43 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-09-03 23:46:43 -0700 |
| commit | ed21776f3fdf079ebedaee6882cf6d86c9159dd1 (patch) | |
| tree | cc0399535673536fd1376f647e2c38778066a2e5 /src/preprocessing/util | |
| parent | c9e23f66383a4d490aca6d082d40117fe799ee4b (diff) | |
Remove unused postsolve infrastructurermPostsolve
The theory property `postsolve` was not used by any of the theories.
This commit removes the property and associated infrastructure.
Diffstat (limited to 'src/preprocessing/util')
0 files changed, 0 insertions, 0 deletions