diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-09-03 16:33:33 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-03 23:33:33 +0000 |
commit | 1eb3c6c8eb3da95cababcc0b1705c0299eee099c (patch) | |
tree | 72233917af15c553dfbbf59f1125952cab83c89b /src/smt/set_defaults.cpp | |
parent | 5cef06bd2beff38a911c74ec082d9789eed83421 (diff) |
EnvObj: Add options(), context(), userContext(). (#7137)
This further renames EnvObj::getLogicInfo to EnvObj::logicInfo.
Diffstat (limited to 'src/smt/set_defaults.cpp')
0 files changed, 0 insertions, 0 deletions