From ad3ffeaba0d4b2b703455b1ab0aa2a0877e22e71 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9cile=20RUET-CROS?= <cecile.ruet-cros@cea.fr>
Date: Fri, 23 Aug 2024 16:02:16 +0200
Subject: [PATCH] [region] make lint
---
src/plugins/region/memory.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/region/memory.ml b/src/plugins/region/memory.ml
index f21e7b3a523..75e38fe59f7 100644
--- a/src/plugins/region/memory.ml
+++ b/src/plugins/region/memory.ml
@@ -185,9 +185,9 @@ let new_chunk (m: map) ?(size=0) ?ptr ?ptrby () =
| None -> if size = 0 then Blob else Cell(size,None)
| Some _ -> Cell(Ranges.gcd size (Cil.bitsSizeOf Cil_const.voidPtrType), ptr)
in let cpointed_by =
- match ptrby with
- | None -> []
- | Some ptr -> [ptr]
+ match ptrby with
+ | None -> []
+ | Some ptr -> [ptr]
in Ufind.make m.store { empty with clayout ; cpointed_by }
let new_range (m: map) ?(fields=Fields.empty) ~size ~offset ~length data : node =
--
GitLab