diff options
| author |  Matej Kosik <m4tej.kosik@gmail.com> | 2016-08-29 18:24:08 +0200 |
|---|---|---|
| committer | Matej Kosik <m4tej.kosik@gmail.com> | 2016-08-30 10:36:59 +0200 |
| commit | 24f70f4173726c5c4734a6f8f907d4bf4a0124ea (patch) | |
| tree | 1d52a94bfdfd7fdf226389edb18be880bc37679f /ide/utils | |
| parent | e969a56e2d0c354057b4d9da0d48349d2a5a61e2 (diff) | |
CLEANUP: removing a function that duplicates its counterpart already present in the Ocaml standard library
Diffstat (limited to 'ide/utils')
| -rw-r--r-- | ide/utils/config_file.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ide/utils/config_file.ml b/ide/utils/config_file.ml index 4d0aabeb6..e4c613913 100644 --- a/ide/utils/config_file.ml +++ b/ide/utils/config_file.ml @@ -44,9 +44,6 @@ (* ******************************************************************************** *) (* This code is intended to be usable without any dependencies. *) -(* pipeline style, see for instance Raw.of_channel. *) -let (|>) x f = f x - (* as List.assoc, but applies f to the element matching [key] and returns the list where this element has been replaced by the result of f. *) let rec list_assoc_remove key f = function |