diff options
Diffstat (limited to 'src/theory')
| -rw-r--r-- | src/theory/strings/regexp_enumerator.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/strings/regexp_enumerator.cpp b/src/theory/strings/regexp_enumerator.cpp index 261d0008e..63b7ee7c1 100644 --- a/src/theory/strings/regexp_enumerator.cpp +++ b/src/theory/strings/regexp_enumerator.cpp @@ -20,7 +20,8 @@ namespace theory { namespace strings { RegExpEnumerator::RegExpEnumerator(TypeNode type, TypeEnumeratorProperties* tep) - : TypeEnumeratorBase<RegExpEnumerator>(type), d_senum(type, tep) + : TypeEnumeratorBase<RegExpEnumerator>(type), + d_senum(NodeManager::currentNM()->stringType(), tep) { } |