From ae5c42ea817555d87b8c52f24c4daf5c017433ce Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Mon, 29 Jan 2024 15:52:45 +0200
Subject: [PATCH] Remove commented out code in
 RelationPriv.PerMutexMeetPrivTID.write_global

---
 src/analyses/apron/relationPriv.apron.ml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/analyses/apron/relationPriv.apron.ml b/src/analyses/apron/relationPriv.apron.ml
index d046eb9e43..80a419314c 100644
--- a/src/analyses/apron/relationPriv.apron.ml
+++ b/src/analyses/apron/relationPriv.apron.ml
@@ -1059,12 +1059,8 @@ struct
       in
       {rel = rel_local'; priv = (W.add g w,LMust.add lm lmust,l')}
     )
-    else (
-      (* let rel_side = RD.keep_vars rel_local [g_var] in
-      let rel_side = Cluster.unlock (W.singleton g) rel_side in
-      let l' = L.add lm rel_side l in *)
+    else
       {rel = rel_local; priv = (W.add g w,lmust,l)}
-    )
 
   let lock ask getg (st: relation_components_t) m =
     let atomic = Param.handle_atomic && LockDomain.Addr.equal m (atomic_mutex) in