From 938fef4a37a7b7c61b4b6ff74cb4cfd2f100c427 Mon Sep 17 00:00:00 2001
From: Georgey
Date: Wed, 5 Jul 2017 11:40:43 +0530
Subject: Added linux shared libraries and header files for int and ecos
 functions

---
 thirdparty/linux/include/coin/CoinSearchTree.hpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'thirdparty/linux/include/coin/CoinSearchTree.hpp')

diff --git a/thirdparty/linux/include/coin/CoinSearchTree.hpp b/thirdparty/linux/include/coin/CoinSearchTree.hpp
index a0ce8e3..f7c101d 100644
--- a/thirdparty/linux/include/coin/CoinSearchTree.hpp
+++ b/thirdparty/linux/include/coin/CoinSearchTree.hpp
@@ -1,4 +1,4 @@
-/* $Id: CoinSearchTree.hpp 1685 2014-01-27 03:05:07Z tkr $ */
+/* $Id: CoinSearchTree.hpp 1824 2015-04-04 16:27:28Z tkr $ */
 // Copyright (C) 2006, International Business Machines
 // Corporation and others.  All Rights Reserved.
 // This code is licensed under the terms of the Eclipse Public License (EPL).
@@ -243,7 +243,7 @@ public:
     inline int size() const { return size_; }
     inline int numInserted() const { return numInserted_; }
     inline CoinTreeNode* top() const {
-      if (size_ == 0)
+       if (size_ == 0 || candidateList_.size() == 0)
 	return NULL;
 #ifdef DEBUG_PRINT
       char output[44];
-- 
cgit