fix warnings in strings/

diff --git a/src/theory/strings/theory_strings_type_rules.h b/src/theory/strings/theory_strings_type_rules.h
index d171c739dbc9e0440b802963654178d3feba8ad0..e4778e86ce8c6792fcbbb68f94c66d48a4fecc26 100644 (file)
--- a/src/theory/strings/theory_strings_type_rules.h
+++ b/src/theory/strings/theory_strings_type_rules.h
@@ -307,7 +307,6 @@ public:
       throw (TypeCheckingExceptionPrivate, AssertionException) {
     if( check ) {
                TNode::iterator it = n.begin();
-               TNode::iterator it_end = n.end();
                TypeNode t = (*it).getType(check);
                if (!t.isRegExp()) {
                  throw TypeCheckingExceptionPrivate(n, "expecting regexp terms");
@@ -323,7 +322,6 @@ public:
       throw (TypeCheckingExceptionPrivate, AssertionException) {
     if( check ) {
                TNode::iterator it = n.begin();
-               TNode::iterator it_end = n.end();
                TypeNode t = (*it).getType(check);
                if (!t.isRegExp()) {
                  throw TypeCheckingExceptionPrivate(n, "expecting regexp terms");
@@ -339,7 +337,6 @@ public:
       throw (TypeCheckingExceptionPrivate, AssertionException) {
     if( check ) {
                TNode::iterator it = n.begin();
-               TNode::iterator it_end = n.end();
                TypeNode t = (*it).getType(check);
                if (!t.isRegExp()) {
                  throw TypeCheckingExceptionPrivate(n, "expecting regexp terms");
@@ -355,7 +352,6 @@ public:
       throw (TypeCheckingExceptionPrivate, AssertionException) {
     if( check ) {
                TNode::iterator it = n.begin();
-               TNode::iterator it_end = n.end();
                char ch[2];
 
                for(int i=0; i<2; ++i) {
@@ -422,7 +418,6 @@ public:
       throw (TypeCheckingExceptionPrivate, AssertionException) {
     if( check ) {
                TNode::iterator it = n.begin();
-               TNode::iterator it_end = n.end();
                TypeNode t = (*it).getType(check);
                if (!t.isString()) {
                  throw TypeCheckingExceptionPrivate(n, "expecting string terms");
@@ -441,7 +436,6 @@ public:
       throw (TypeCheckingExceptionPrivate, AssertionException) {
     if( check ) {
                TNode::iterator it = n.begin();
-               TNode::iterator it_end = n.end();
                TypeNode t = (*it).getType(check);
                if (!t.isString()) {
                  throw TypeCheckingExceptionPrivate(n, "expecting string terms");