diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2020-08-25 10:45:55 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2020-08-25 10:45:55 +0100 |
commit | 3cf7c3ef441822c889356fd1812ebf2944a59851 (patch) | |
tree | c513fe68548b40365c1c2ebfe35c58ad431cdd77 /dev-ml/camomile/files/ocaml405.patch | |
parent | 05b8b0e0af1d72e51a3ee61522941bf7605cd01c (diff) |
gentoo resync : 25.08.2020
Diffstat (limited to 'dev-ml/camomile/files/ocaml405.patch')
-rw-r--r-- | dev-ml/camomile/files/ocaml405.patch | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/dev-ml/camomile/files/ocaml405.patch b/dev-ml/camomile/files/ocaml405.patch index 3fec6955a27c..9648708f669f 100644 --- a/dev-ml/camomile/files/ocaml405.patch +++ b/dev-ml/camomile/files/ocaml405.patch @@ -12,10 +12,10 @@ Date: Fri Feb 24 22:30:23 2017 -0500 (see MPR#7414, GPR#929). This commit adds enough annotations to avoid such underspecified variables in functors. -diff --git a/Camomile/internal/unimap.ml b/Camomile/internal/unimap.ml +diff --git a/internal/unimap.ml b/internal/unimap.ml index b6fdbde..6a7cc30 100644 ---- a/Camomile/internal/unimap.ml -+++ b/Camomile/internal/unimap.ml +--- a/internal/unimap.ml ++++ b/internal/unimap.ml @@ -58,7 +58,7 @@ val of_name : string -> t end @@ -25,10 +25,10 @@ index b6fdbde..6a7cc30 100644 type mapping = {no_char : int; tbl : Tbl31.Bytes.t} -diff --git a/Camomile/public/uCharInfo.ml b/Camomile/public/uCharInfo.ml +diff --git a/public/uCharInfo.ml b/public/uCharInfo.ml index 69bf141..6a0337a 100644 ---- a/Camomile/public/uCharInfo.ml -+++ b/Camomile/public/uCharInfo.ml +--- a/public/uCharInfo.ml ++++ b/public/uCharInfo.ml @@ -298,7 +298,7 @@ val load_composition_exclusion_tbl : unit -> UCharTbl.Bool.t end |