diff options
| author | Tim King <taking@cs.nyu.edu> | 2017-10-17 16:01:21 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2017-10-17 16:01:21 -0700 |
| commit | 382813c77025e05550876bf02f2782b72d6c8927 (patch) | |
| tree | 637b4ef538215a490c6bc28ad7dc82bee686ff80 /src/theory/arith/arith_ite_utils.cpp | |
| parent | 27dac5e91eee563d62795e43d5e7ac5f6c878730 (diff) | |
Making the values argument const in the SetUserAttributeCommand const… (#1249)
* Making the values argument const in the SetUserAttributeCommand constructor. Misc. cleanup of SetUserAttributeCommand.
* Removing override keyword that was making SWIG unhappy.
Diffstat (limited to 'src/theory/arith/arith_ite_utils.cpp')
0 files changed, 0 insertions, 0 deletions