diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-06-03 14:20:55 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-06-03 14:20:55 -0500 |
| commit | 7dc4bbc411cbfcafbc866d4e90d532d7c8a4178f (patch) | |
| tree | 993bf535e1f7e1e8870bde750174a4db79c66979 /src/theory/strings/regexp_operation.cpp | |
| parent | 46e7f7ef87edf0228f98f8892bcd9643eecb3651 (diff) | |
Remove NodeListMap from strings, fixes memory leaks. Fix for regexp intersection.
Diffstat (limited to 'src/theory/strings/regexp_operation.cpp')
| -rw-r--r-- | src/theory/strings/regexp_operation.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/theory/strings/regexp_operation.cpp b/src/theory/strings/regexp_operation.cpp index 53344dd6c..a665a02c1 100644 --- a/src/theory/strings/regexp_operation.cpp +++ b/src/theory/strings/regexp_operation.cpp @@ -39,6 +39,10 @@ RegExpOpr::RegExpOpr() d_sigma_star = NodeManager::currentNM()->mkNode( kind::REGEXP_STAR, d_sigma ); } +RegExpOpr::~RegExpOpr(){ + +} + int RegExpOpr::gcd ( int a, int b ) { int c; while ( a != 0 ) { |