diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-11-01 05:08:09 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-01 12:08:09 +0000 |
| commit | c8887627fab0a7f8395bb6434b624df028b8ef46 (patch) | |
| tree | 3f73ec2fc74c44ada45a2f30001226a0d2165550 /src/theory/theory_model.cpp | |
| parent | ffdc8a3676aad41d0fcef0290241aa9df2e5be1b (diff) | |
Replace more static options accesses (#7531)
This replaces a bunch of static accesses to options (`options::foo()`) by using the `EnvObj::options()` method.
Diffstat (limited to 'src/theory/theory_model.cpp')
| -rw-r--r-- | src/theory/theory_model.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory_model.cpp b/src/theory/theory_model.cpp index a5ec0867a..599e192f8 100644 --- a/src/theory/theory_model.cpp +++ b/src/theory/theory_model.cpp @@ -143,7 +143,7 @@ Node TheoryModel::getValue(TNode n) const } else if (nn.getKind() == kind::LAMBDA) { - if (options::condenseFunctionValues()) + if (options().theory.condenseFunctionValues) { // normalize the body. Do not normalize the entire node, which // involves array normalization. |