Skip to content

Commit 54a9bff

Browse files
committed
Delete the useless pp_lnk into our link.ml script
1 parent e7d582d commit 54a9bff

File tree

1 file changed

+0
-4
lines changed

1 file changed

+0
-4
lines changed

toolchain/install.ml

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -121,10 +121,6 @@ type action =
121121
| Copy of { exec : bool; src : string; dst : string }
122122
| Link of { src : string; dst : string }
123123

124-
let pp_lnk ppf = function
125-
| Link { src; dst } -> Format.fprintf ppf "(Link (src:%S, dst:%S))" src dst
126-
| _ -> ()
127-
128124
let deps lnks =
129125
let tbl = Hashtbl.create 0x100 in
130126
let g = Hashtbl.create 0x100 in

0 commit comments

Comments
 (0)