diff options
author | Tim King <taking@cs.nyu.edu> | 2017-10-17 13:17:20 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2017-10-17 13:17:20 -0700 |
commit | 27dac5e91eee563d62795e43d5e7ac5f6c878730 (patch) | |
tree | 267f842042ee02af6a32dad20e99615abb1e0a4d /src/smt/command.cpp | |
parent | 0958ceced1107fe4be1c9f585bf5fad8fa73a7a7 (diff) |
Fixing 2 instances of an unused variable. (#1253)
Diffstat (limited to 'src/smt/command.cpp')
0 files changed, 0 insertions, 0 deletions