From 0088a5f358af2d402a2c3790ff7640119f063f88 Mon Sep 17 00:00:00 2001
From: Matthew Fernandez <matthew.fernandez@gmail.com>
Date: Sat, 27 Mar 2021 13:12:32 -0700
Subject: [PATCH] remove now-unused jmp_buf

Related to #1801.
---
 lib/dotgen/conc.c | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/lib/dotgen/conc.c b/lib/dotgen/conc.c
index a970ec4f0..f78bbec11 100644
--- a/lib/dotgen/conc.c
+++ b/lib/dotgen/conc.c
@@ -14,13 +14,10 @@
  */
 
 #include	<dotgen/dot.h>
-#include	<setjmp.h>
 
 #define		UP		0
 #define		DOWN	1
 
-static jmp_buf jbuf;
-
 static boolean samedir(edge_t * e, edge_t * f)
 {
     edge_t *e0, *f0;
@@ -244,10 +241,6 @@ void dot_concentrate(graph_t * g)
 	}
 	r--;
     }
-    if (setjmp(jbuf)) {
-	agerr(AGPREV, "concentrate=true may not work correctly.\n");
-	return;
-    }
     for (c = 1; c <= GD_n_cluster(g); c++) {
 	if (rebuild_vlists(GD_clust(g)[c]) != 0) {
 	    agerr(AGPREV, "concentrate=true may not work correctly.\n");
-- 
2.40.0