A couple of minor cleanups (#7141)
authorGereon Kremer <nafur42@gmail.com>
Wed, 8 Sep 2021 18:59:53 +0000 (11:59 -0700)
committerGitHub <noreply@github.com>
Wed, 8 Sep 2021 18:59:53 +0000 (18:59 +0000)
commita50655ea2637e114190de505a6c33cff25f5f6a5
tree057a2fe3949fce12ef91963eaa53fd85e834c54b
parent54148758dba8e3523fa1c746922692d8ad3df6e8
A couple of minor cleanups (#7141)

This PR does a couple of minor cleanups related to options.
src/options/managed_streams.cpp
src/options/managed_streams.h
src/smt/command.cpp
src/smt/command.h
test/api/smt2_compliance.cpp