From f2b4536970b63fffd1f0b77f62c940d99c1e90b1 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Mon, 30 Sep 2019 07:52:54 -0700
Subject: [PATCH] [pulse][trivial] OCaml can infer the modules on its own

Summary: Just to make it more concise/readable.

Reviewed By: ezgicicek

Differential Revision: D17665471

fbshipit-source-id: 277d66783
---
 infer/src/pulse/PulseAbductiveDomain.ml | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/infer/src/pulse/PulseAbductiveDomain.ml b/infer/src/pulse/PulseAbductiveDomain.ml
index 9092d458f..eb162b81b 100644
--- a/infer/src/pulse/PulseAbductiveDomain.ml
+++ b/infer/src/pulse/PulseAbductiveDomain.ml
@@ -621,12 +621,8 @@ module PrePost = struct
         Attributes.get_written_to attrs
         >>| fun callee_action ->
         Attribute.WrittenTo
-          (PulseDomain.InterprocAction.ViaCall
-             {action= callee_action; f= Call callee_proc_name; location= call_loc}))
-        |> Option.value
-             ~default:
-               (Attribute.WrittenTo
-                  (PulseDomain.InterprocAction.Immediate {imm= (); location= call_loc}))
+          (ViaCall {action= callee_action; f= Call callee_proc_name; location= call_loc}))
+        |> Option.value ~default:(Attribute.WrittenTo (Immediate {imm= (); location= call_loc}))
       in
       BaseMemory.set_edges addr_caller edges_post_caller heap
       |> BaseMemory.add_attribute addr_caller written_to