From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Sat, 19 Apr 2014 20:45:13 +0000 (-0400)
Subject: fix warnings in strings/
X-Git-Tag: cvc5-1.0.0~6956^2~7
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c0314861bfae3fac04bcd60ac42a3592bb73441f;p=cvc5.git

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 d171c739d..e4778e86c 100644
--- 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");