summaryrefslogtreecommitdiff
path: root/dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2021-12-22 14:08:05 +0000
committerV3n3RiX <venerix@koprulu.sector>2021-12-22 14:08:05 +0000
commit93a93e9a3b53c1a73142a305ea1f8136846942ee (patch)
treeb9791a06ab3284e27b568412c59316c66240c682 /dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch
parent2771f79232c273bc2a57d23bf335dd81ccf6af28 (diff)
gentoo resync : 22.12.2021
Diffstat (limited to 'dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch')
-rw-r--r--dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch11
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch b/dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch
new file mode 100644
index 000000000000..17c060c8a208
--- /dev/null
+++ b/dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch
@@ -0,0 +1,11 @@
+--- a/inifiles.ml
++++ b/inifiles.ml
+@@ -257,7 +257,7 @@
+ func
+ initial
+ (List.rev_map
+- (new inifile)
++ (fun x -> new inifile x)
+ (List.filter
+ check_file
+ (List.rev_map