diff options
Diffstat (limited to 'src/theory/strings/regexp_solver.cpp')
| -rw-r--r-- | src/theory/strings/regexp_solver.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/strings/regexp_solver.cpp b/src/theory/strings/regexp_solver.cpp index 167ce9570..164e4e1c0 100644 --- a/src/theory/strings/regexp_solver.cpp +++ b/src/theory/strings/regexp_solver.cpp @@ -49,8 +49,7 @@ RegExpSolver::RegExpSolver(SolverState& s, d_regexp_opr(skc) { d_emptyString = NodeManager::currentNM()->mkConst(::cvc5::String("")); - std::vector<Node> nvec; - d_emptyRegexp = NodeManager::currentNM()->mkNode(REGEXP_EMPTY, nvec); + d_emptyRegexp = NodeManager::currentNM()->mkNode(REGEXP_EMPTY); d_true = NodeManager::currentNM()->mkConst(true); d_false = NodeManager::currentNM()->mkConst(false); } |