Skip to content
Snippets Groups Projects
Commit 2f515ef1 authored by Valentin Perrelle's avatar Valentin Perrelle Committed by David Bühler
Browse files

[pdg] Minor lint fix.

parent 29c865bc
No related branches found
No related tags found
No related merge requests found
......@@ -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. *)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment