Localize two helpers in relationDomain.apron.ml

goblint · Dec 4, 2023 · d7d3503 · d7d3503
1 parent e678d0e
commit d7d3503
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/cdomains/apron/relationDomain.apron.ml b/src/cdomains/apron/relationDomain.apron.ml
@@ -184,10 +184,9 @@ struct
 
   let name () = RD.name () ^ " * " ^ PrivD.name ()
 
-  let of_tuple(rel, priv):t = {rel; priv}
-  let to_tuple r = (r.rel, r.priv)
-
   let arbitrary () =
+    let to_tuple r = (r.rel, r.priv) in
+    let of_tuple (rel, priv) = {rel; priv} in
     let tr = QCheck.pair (RD.arbitrary ()) (PrivD.arbitrary ()) in
     QCheck.map ~rev:to_tuple of_tuple tr