[infer] fix format

Summary: what she said Reviewed By: jvillard Differential Revision: D45603699 fbshipit-source-id: a7753bc5f7d5d6e6a26076706b7717c735efe68a
facebook · May 5, 2023 · 2123c50 · 2123c50
1 parent 86956bb
commit 2123c50
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/infer/src/pulse/PulseModelsHack.ml b/infer/src/pulse/PulseModelsHack.ml
@@ -41,7 +41,7 @@ let hack_dim_field_get this_obj (field_string_obj, _) : model =
 
 
 let hack_await (argv, hist) : model =
- fun {ret=ret_id, _} astate ->
+ fun {ret= ret_id, _} astate ->
   let astate = AddressAttributes.hack_async_await argv astate in
   PulseOperations.write_id ret_id (argv, hist) astate |> Basic.ok_continue