remove a now-unused jump buffer

Related to #1801.

diff --git a/lib/common/ns.c b/lib/common/ns.c
index fcc60c09315583829a4343fb584f6980dbef578f..451d26e764e1470e43acfeb6f411a18411d68ffb 100644 (file)
--- a/lib/common/ns.c
+++ b/lib/common/ns.c
@@ -17,7 +17,6 @@
  */
 
 #include <common/render.h>
-#include <setjmp.h>
 
 static int init_graph(graph_t *);
 static void dfs_cutval(node_t * v, edge_t * par);
@@ -32,7 +31,6 @@ static void check_cycles(graph_t * g);
 #define SEQ(a,b,c)             (((a) <= (b)) && ((b) <= (c)))
 #define TREE_EDGE(e)   (ED_tree_index(e) >= 0)
 
-static jmp_buf jbuf;
 static graph_t *G;
 static int N_nodes, N_edges;
 static int Minrank, Maxrank;
@@ -869,10 +867,6 @@ int rank2(graph_t * g, int balance, int maxiter, int search_size)
     else
        Search_size = SEARCHSIZE;
 
-    if (setjmp (jbuf)) {
-       return 2;
-    }
-
     {
        int err = feasible_tree();
        if (err != 0) {