fix #3014 by removing unused file

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

src/math/lp/signature_bound_evidence.h

@@ -1,38 +0,0 @@
-/*++
-Copyright (c) 2017 Microsoft Corporation
-
-Module Name:
-
-    <name>
-
-Abstract:
-
-    <abstract>
-
-Author:
-
-    Lev Nachmanson (levnach)
-
-Revision History:
-
-
---*/
-#pragma once
-#include "math/lp/lp_settings.h"
-#include "math/lp/lar_constraints.h"
-namespace lp {
-struct bound_signature {
-    unsigned m_i;
-    bool m_at_low;
-    bound_signature(unsigned i, bool at_low) :m_i(i), m_at_low(m_at_low) {}
-    bool at_upper_bound() const { return !m_at_lower_bound;}
-    bool at_lower_bound() const { return m_at_low;}
-};
-template <typename X> 
-struct signature_bound_evidence {
-    vector<bound_signature> m_evidence;
-    unsigned m_j; // found new bound
-    bool m_lower_bound;    
-    X m_bound;
-};
-}