projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 27dac5e) | patch
Making the values argument const in the SetUserAttributeCommand const… (#1249)
authorTim King <taking@cs.nyu.edu>
Tue, 17 Oct 2017 23:01:21 +0000 (16:01 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Tue, 17 Oct 2017 23:01:21 +0000 (16:01 -0700)
commit382813c77025e05550876bf02f2782b72d6c8927
tree637b4ef538215a490c6bc28ad7dc82bee686ff80tree
parent27dac5e91eee563d62795e43d5e7ac5f6c878730commit | 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.
src/smt/command.cpp diff | blob | history
src/smt/command.h diff | blob | history