From b48ad6ab403ecb2e8dacedd193513120f2820820 Mon Sep 17 00:00:00 2001
From: Julian Erhard <julian.erhard@tum.de>
Date: Tue, 28 Nov 2023 18:15:50 +0100
Subject: [PATCH] Remove duplicate definition of longjmp_return.

---
 src/analyses/base.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/analyses/base.ml b/src/analyses/base.ml
index eea91bab0a..bc7d4a616d 100644
--- a/src/analyses/base.ml
+++ b/src/analyses/base.ml
@@ -152,8 +152,6 @@ struct
 
   include Base0
 
-  let longjmp_return = ref dummyFunDec.svar
-
   let heap_var on_stack ctx =
     let info = match (ctx.ask (Q.AllocVar {on_stack})) with
       | `Lifted vinfo -> vinfo