diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-10-06 10:12:17 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-06 15:12:17 +0000 |
| commit | 9b9fef64a317128b94dbf266ee50a30f6f3a64ac (patch) | |
| tree | 710209a2645ec9513b96ea90a6e1d6caddae702b /src/theory/arith/nl/nonlinear_extension.cpp | |
| parent | fa18d91091ef640fd38b29ed87f69260d8f80208 (diff) | |
Eliminate more hard coded uses of user context (#7309)
This is in preparation to make the "lemma context" configurable.
Diffstat (limited to 'src/theory/arith/nl/nonlinear_extension.cpp')
| -rw-r--r-- | src/theory/arith/nl/nonlinear_extension.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/nl/nonlinear_extension.cpp b/src/theory/arith/nl/nonlinear_extension.cpp index 207907fcc..a970abc45 100644 --- a/src/theory/arith/nl/nonlinear_extension.cpp +++ b/src/theory/arith/nl/nonlinear_extension.cpp @@ -47,7 +47,7 @@ NonlinearExtension::NonlinearExtension(Env& env, d_hasNlTerms(false), d_checkCounter(0), d_extTheoryCb(state.getEqualityEngine()), - d_extTheory(d_extTheoryCb, context(), userContext(), d_im), + d_extTheory(env, d_extTheoryCb, d_im), d_model(), d_trSlv(d_im, d_model, d_env), d_extState(d_im, d_model, d_env), |