diff options
Diffstat (limited to 'src/theory/arith/nl/cad_solver.cpp')
-rw-r--r-- | src/theory/arith/nl/cad_solver.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/arith/nl/cad_solver.cpp b/src/theory/arith/nl/cad_solver.cpp index 6b1749305..a3dd77fd1 100644 --- a/src/theory/arith/nl/cad_solver.cpp +++ b/src/theory/arith/nl/cad_solver.cpp @@ -38,8 +38,7 @@ CadSolver::CadSolver(Env& env, InferenceManager& im, NlModel& model) { NodeManager* nm = NodeManager::currentNM(); SkolemManager* sm = nm->getSkolemManager(); - d_ranVariable = sm->mkDummySkolem( - "__z", nm->realType(), "", NodeManager::SKOLEM_EXACT_NAME); + d_ranVariable = sm->mkDummySkolem("__z", nm->realType(), ""); #ifdef CVC5_POLY_IMP if (env.isTheoryProofProducing()) { |