save a line

michael-schwarz · michael-schwarz · commit 8fdc8a6adb97 · 2022-07-18T18:12:22.000+02:00
diff --git a/src/analyses/mallocWrapperAnalysis.ml b/src/analyses/mallocWrapperAnalysis.ml
@@ -36,8 +36,7 @@ struct
       if Chain.is_top count then
         counter
       else
-        remove malloc counter
-        |> add malloc (count + 1)
+        remove malloc counter |> add malloc (count + 1)
   end
 
   module ThreadNode = struct
