From 737cf63132ad4c2f037da0c2c9e5370a32c1c6df Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 15 Feb 2020 21:13:30 -1000
Subject: [PATCH] fix #3014 by removing unused file

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/lp/signature_bound_evidence.h | 38 --------------------------
 1 file changed, 38 deletions(-)
 delete mode 100644 src/math/lp/signature_bound_evidence.h

diff --git a/src/math/lp/signature_bound_evidence.h b/src/math/lp/signature_bound_evidence.h
deleted file mode 100644
index 53136a6ef..000000000
--- a/src/math/lp/signature_bound_evidence.h
+++ /dev/null
@@ -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;
-};
-}