Move cardinality inference scheme to base solver in strings (#3792)

[cvc5.git] / src / theory / strings / regexp_operation.cpp

diff --git a/src/theory/strings/regexp_operation.cpp b/src/theory/strings/regexp_operation.cpp
index 8707593c733e3e9b6a41dbb5e3e621b3bce46b22..1b2de0eb5b216c784257d44f82707fdea36caf9b 100644 (file)
--- a/src/theory/strings/regexp_operation.cpp
+++ b/src/theory/strings/regexp_operation.cpp
@@ -42,7 +42,7 @@ RegExpOpr::RegExpOpr()
                                                std::vector<Node>{})),
       d_sigma_star(NodeManager::currentNM()->mkNode(kind::REGEXP_STAR, d_sigma))
 {
-  d_lastchar = TheoryStringsRewriter::getAlphabetCardinality()-1;
+  d_lastchar = utils::getAlphabetCardinality() - 1;
 }
 
 RegExpOpr::~RegExpOpr() {}