This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why.
commit f45d3e734b1861d1a06311018dd5edde145675ef Author: Ralf Treinen <trei...@free.fr> Date: Fri Jan 17 20:23:05 2014 +0100 drop patch 0005-Fix-Jc_annot_inference-use-old_reg_pos --- debian/changelog | 1 + ...05-Fix-Jc_annot_inference-use-old_reg_pos.patch | 22 ---------------------- debian/patches/series | 1 - 3 files changed, 1 insertion(+), 23 deletions(-) diff --git a/debian/changelog b/debian/changelog index 9b538c4..ec70afd 100644 --- a/debian/changelog +++ b/debian/changelog @@ -6,6 +6,7 @@ why (2.33-1) unstable; urgency=low - 0002-Mark-alt-ergo-0.93-as-compatible.patch - 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch - 0004-Default-to-why2-for-jessie-atp.patch + - 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch -- diff --git a/debian/patches/0005-Fix-Jc_annot_inference-use-old_reg_pos.patch b/debian/patches/0005-Fix-Jc_annot_inference-use-old_reg_pos.patch deleted file mode 100644 index f8adabf..0000000 --- a/debian/patches/0005-Fix-Jc_annot_inference-use-old_reg_pos.patch +++ /dev/null @@ -1,22 +0,0 @@ -From: Mehdi Dogguy <me...@dogguy.org> -Date: Thu, 8 Dec 2011 17:08:36 +0100 -Subject: Fix Jc_annot_inference (use old_reg_pos) - ---- - jc/jc_annot_inference.ml | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/jc/jc_annot_inference.ml b/jc/jc_annot_inference.ml -index d9dbbd7..0d3143e 100644 ---- a/jc/jc_annot_inference.ml -+++ b/jc/jc_annot_inference.ml -@@ -491,7 +491,7 @@ let reg_annot ?id ?kind ?name ~pos ~anchor a = - in - Format.fprintf Format.str_formatter "%a" Jc_output.assertion a; - let formula = Format.flush_str_formatter () in -- let lab = Output.reg_pos "G" ?id ?kind ?name ~formula loc in -+ let lab = Output.old_reg_pos "G" ?id ?kind ?name ~formula (Loc.extract loc) in - new assertion_with ~mark:lab a - - --- diff --git a/debian/patches/series b/debian/patches/series index d863b61..47d3b6b 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,3 +1,2 @@ -0005-Fix-Jc_annot_inference-use-old_reg_pos.patch 0006-Fix-spelling-error-in-binary.patch 0007-Replace-caduceus-invocation-by-Frama-C.patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits