diff options
author | Tim King <taking@cs.nyu.edu> | 2018-08-13 09:25:26 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-13 09:25:26 -0700 |
commit | 957b02e415f60e725da569f1d7c0e2d1276cb3fa (patch) | |
tree | e588e05f4c1fb2320f7902618f49d188d043517d /src/smt/command.cpp | |
parent | b62055f1204a0846eef728b2b62e5fc77df4048c (diff) |
Removing support for T* and const T* attributes. (#2297)
* Removing support for T* and const T* attributes. These are unused.
Diffstat (limited to 'src/smt/command.cpp')
0 files changed, 0 insertions, 0 deletions