From 6ac8e302100c1baf60816d6be03c2c8aabaaca68 Mon Sep 17 00:00:00 2001
From: Matthew Fernandez <matthew.fernandez@gmail.com>
Date: Sat, 14 Nov 2020 12:25:45 -0800
Subject: [PATCH] remove a now-unused jump buffer

Related to #1801.
---
 lib/common/ns.c | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/lib/common/ns.c b/lib/common/ns.c
index fcc60c093..451d26e76 100644
--- 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) {
-- 
2.40.0