From 2f515ef1314fd53f0b0c57597cb89b314bc0ed03 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Fri, 8 Apr 2022 14:22:57 +0000
Subject: [PATCH] [pdg] Minor lint fix.
---
src/plugins/pdg/build.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/pdg/build.ml b/src/plugins/pdg/build.ml
index 39b5d236544..d0df6abb5b2 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. *)
--
GitLab