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/parser/smt2 | |
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/parser/smt2')
0 files changed, 0 insertions, 0 deletions