From fff14265569d77d7878cb31d5d3512ee96d4ee22 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 13 May 2020 13:54:47 -0700
Subject: [PATCH] remove unreferenced label

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/lp/nla_core.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp
index 11652dd26..def72518f 100644
--- a/src/math/lp/nla_core.cpp
+++ b/src/math/lp/nla_core.cpp
@@ -1506,12 +1506,11 @@ lbool core::check(vector<lemma>& l_vec) {
             m_tangents.tangent_lemma();
     }
 
-
     if (!m_reslim.inc())
         return l_undef;
   
- finish_up:   
     lbool ret = l_vec.empty() ? l_undef : l_false;
+
 #if 0
     if (l_vec.empty()) 
         ret = m_nra.check();