diff --git a/src/plugins/pdg/build.ml b/src/plugins/pdg/build.ml
index 39b5d236544be119a96fefd6848729ddafab8c9e..d0df6abb5b2ed376ab6186867a5170e3ee651e0f 100644
--- a/src/plugins/pdg/build.ml
+++ b/src/plugins/pdg/build.ml
@@ -468,7 +468,7 @@ let create_fun_output_node pdg state dpds =
 let find_return_lval kf =
   let stmt = Kernel_function.find_return kf in
   match stmt with
-  | { skind = Return (Some {enode = Lval lval}, _)} -> stmt, lval
+  | { skind = Return (Some {enode = Lval lval}, _) } -> stmt, lval
   | _ -> assert false
 
 (** add a node corresponding to the returned value. *)