From b468bb361f8b98bcb6b9d0febab4f285a6a872b3 Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Thu, 13 Oct 2016 00:22:24 -0700
Subject: Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git"

This reverts commit 3395c5c13cd61d98aec0d9806e3b9bc3d707968a, reversing
changes made to 5f415d4585134612bc24e9a823289fee35541a01.
---
 src/expr/datatype.cpp | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/expr/datatype.cpp')

diff --git a/src/expr/datatype.cpp b/src/expr/datatype.cpp
index 12cab48cc..001f38a79 100644
--- a/src/expr/datatype.cpp
+++ b/src/expr/datatype.cpp
@@ -859,7 +859,6 @@ bool DatatypeConstructor::isInterpretedFinite() const throw(IllegalArgumentExcep
   if(self.getAttribute(DatatypeUFiniteComputedAttr())) {
     return self.getAttribute(DatatypeUFiniteAttr());
   }
-  bool success = true;
   for(const_iterator i = begin(), i_end = end(); i != i_end; ++i) {
     TypeNode t = TypeNode::fromType( (*i).getRangeType() );
     if(!t.isInterpretedFinite()) {
-- 
cgit v1.2.3