[Pkg-ocaml-maint-commits] [facile] 03/05: Fix compilation with OCaml 4.01.0 (Closes: #731218)

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository facile.

commit e9362f113e8ba78aeed98cddef77cd4d192efb0d
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Dec 7 09:25:49 2013 +0100

    Fix compilation with OCaml 4.01.0 (Closes: #731218)
---
 .../0005-Fix-compilation-with-OCaml-4.01.0.patch   | 25 ++++++++++++++++++++++
 debian/patches/series                              |  1 +
 2 files changed, 26 insertions(+)

diff --git a/debian/patches/0005-Fix-compilation-with-OCaml-4.01.0.patch b/debian/patches/0005-Fix-compilation-with-OCaml-4.01.0.patch
new file mode 100644
index 0000000..ff5c19c
--- /dev/null
+++ b/debian/patches/0005-Fix-compilation-with-OCaml-4.01.0.patch
@@ -0,0 +1,25 @@
+From: Stephane Glondu <steph at glondu.net>
+Date: Sat, 7 Dec 2013 09:24:04 +0100
+Subject: Fix compilation with OCaml 4.01.0
+
+An addition optional argument has been added to Hashtbl.create.
+
+Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731218
+---
+ src/fcl_data.ml | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/src/fcl_data.ml b/src/fcl_data.ml
+index b5f25be..f20c8b3 100644
+--- a/src/fcl_data.ml
++++ b/src/fcl_data.ml
+@@ -16,7 +16,7 @@ end
+ 
+ module Hashtbl = struct
+   type ('a, 'b) t = ('a, 'b) Hashtbl.t
+-  let create = Hashtbl.create
++  let create n = Hashtbl.create n
+   let get h = h
+ 
+   let add h k d =
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index 13ec16d..7f1a9cb 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,3 +2,4 @@
 0002-Make-facile-available-for-more-architectures.patch
 0003-ocamlopt-isn-t-available-on-all-arches-don-t-use-it-.patch
 0004-Allow-overriding-OCAMLC-in-examples.patch
+0005-Fix-compilation-with-OCaml-4.01.0.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/facile.git