diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-07-04 16:34:17 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-04 16:34:17 +0100 |
commit | 8494e02bf31a08a686e1cf990e512250a9210acc (patch) | |
tree | c94bd7a5658dfd978cafb13b2b3547e15d790c50 /src/theory/strings/regexp_operation.cpp | |
parent | 3e9c44a361d287d30d4aa9771f77677a025a766e (diff) |
More cleanup in strings (#2138)
Diffstat (limited to 'src/theory/strings/regexp_operation.cpp')
-rw-r--r-- | src/theory/strings/regexp_operation.cpp | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/theory/strings/regexp_operation.cpp b/src/theory/strings/regexp_operation.cpp index e130d5e4b..d17e42ede 100644 --- a/src/theory/strings/regexp_operation.cpp +++ b/src/theory/strings/regexp_operation.cpp @@ -45,14 +45,6 @@ RegExpOpr::RegExpOpr() RegExpOpr::~RegExpOpr() {} -int RegExpOpr::gcd ( int a, int b ) { - int c; - while ( a != 0 ) { - c = a; a = b%a; b = c; - } - return b; -} - bool RegExpOpr::checkConstRegExp( Node r ) { Trace("strings-regexp-cstre") << "RegExp-CheckConstRegExp starts with /" << mkString( r ) << "/" << std::endl; bool ret = true; |