Remove duplicate definition of longjmp_return.

goblint · Nov 28, 2023 · b48ad6a · b48ad6a
1 parent 4bce1d6
commit b48ad6a
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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