1 files changed, 0 insertions, 55 deletions
diff --git a/src/misc/espresso/mincov_int.h b/src/misc/espresso/mincov_int.h
deleted file mode 100644
index e81850f2..00000000
--- a/src/misc/espresso/mincov_int.h
+++ /dev/null
@@ -1,55 +0,0 @@
-/*
- * Revision Control Information
- *
- * $Source$
- * $Author$
- * $Revision$
- * $Date$
- *
- */
-//#include "port.h"
-//#include "utility.h"
-#include "sparse.h"
-#include "mincov.h"
-
-#include "util_hack.h" // added
-
-
-typedef struct stats_struct stats_t;
-struct stats_struct {
-    int debug;            /* 1 if debugging is enabled */
-    int max_print_depth;    /* dump stats for levels up to this level */
-    int max_depth;        /* deepest the recursion has gone */
-    int nodes;            /* total nodes visited */
-    int component;        /* currently solving a component */
-    int comp_count;        /* number of components detected */
-    int gimpel_count;        /* number of times Gimpel reduction applied */
-    int gimpel;            /* currently inside Gimpel reduction */
-    long start_time;        /* cpu time when the covering started */
-    int no_branching;
-    int lower_bound;
-};
-
-
-
-typedef struct solution_struct solution_t;
-struct solution_struct {
-    sm_row *row;
-    int cost;
-};
-
-
-extern solution_t *solution_alloc();
-extern void solution_free();
-extern solution_t *solution_dup();
-extern void solution_accept();
-extern void solution_reject();
-extern void solution_add();
-extern solution_t *solution_choose_best();
-
-extern solution_t *sm_maximal_independent_set();
-extern solution_t *sm_mincov();
-extern int gimpel_reduce();
-
-
-#define WEIGHT(weight, col)    (weight == NIL(int) ? 1 : weight[col])