Fix indentation

goblint · Nov 1, 2023 · 0f13898 · 0f13898
1 parent 894e618
commit 0f13898
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 22 deletions.
diff --git a/src/analyses/apron/relationPriv.apron.ml b/src/analyses/apron/relationPriv.apron.ml
@@ -1011,17 +1011,17 @@ struct
       )
     )
     else (
-      if ConcDomain.ThreadSet.is_top tids
-        then st
-        else
-          match ConcDomain.ThreadSet.elements tids with
-          | [tid] ->
-            let lmust',l' = G.thread (getg (V.thread tid)) in
-            {st with priv = (w, LMust.union lmust' lmust, L.join l l')}
-          | _ ->
-            (* To match the paper more closely, one would have to join in the non-definite case too *)
-            (* Given how we handle lmust (for initialization), doing this might actually be beneficial given that it grows lmust *)
-            st
+      if ConcDomain.ThreadSet.is_top tids then
+        st
+      else
+        match ConcDomain.ThreadSet.elements tids with
+        | [tid] ->
+          let lmust',l' = G.thread (getg (V.thread tid)) in
+          {st with priv = (w, LMust.union lmust' lmust, L.join l l')}
+        | _ ->
+          (* To match the paper more closely, one would have to join in the non-definite case too *)
+          (* Given how we handle lmust (for initialization), doing this might actually be beneficial given that it grows lmust *)
+          st
     )
 
   let thread_return ask getg sideg tid (st: relation_components_t) =

diff --git a/src/analyses/basePriv.ml b/src/analyses/basePriv.ml
@@ -544,17 +544,17 @@ struct
       )
     )
     else (
-      if (ConcDomain.ThreadSet.is_top tids)
-        then st
-        else
-          match ConcDomain.ThreadSet.elements tids with
-          | [tid] ->
-            let lmust',l' = G.thread (getg (V.thread tid)) in
-            {st with priv = (w, LMust.union lmust' lmust, L.join l l')}
-          | _ ->
-            (* To match the paper more closely, one would have to join in the non-definite case too *)
-            (* Given how we handle lmust (for initialization), doing this might actually be beneficial given that it grows lmust *)
-            st
+      if ConcDomain.ThreadSet.is_top tids then 
+        st
+      else
+        match ConcDomain.ThreadSet.elements tids with
+        | [tid] ->
+          let lmust',l' = G.thread (getg (V.thread tid)) in
+          {st with priv = (w, LMust.union lmust' lmust, L.join l l')}
+        | _ ->
+          (* To match the paper more closely, one would have to join in the non-definite case too *)
+          (* Given how we handle lmust (for initialization), doing this might actually be beneficial given that it grows lmust *)
+          st
     )
 
   let thread_return ask getg sideg tid (st: BaseComponents (D).t) =