diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-09-01 19:10:42 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-02 02:10:42 +0000 |
commit | 9f48eb94a7a72338283492169a0d494fcdc57034 (patch) | |
tree | e7f942325ff7e28e1b3bd8f3617b4e177d1e0409 /src/smt/set_defaults.cpp | |
parent | d2b196b04078464ca843112baeeda5a81fe935a0 (diff) |
Add class EnvObj. (#7113)
This class will serve as base class for classes that need access to the
environment. This does not yet have classes derive from this base class.
Will update #7110 and #7112 to use this after this is in.
Diffstat (limited to 'src/smt/set_defaults.cpp')
0 files changed, 0 insertions, 0 deletions