[Pkg-ocaml-maint-commits] [why] 10/14: drop patch 0006-Fix-spelling-error-in-binary

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository why.

commit 870626ce502bc54ec8cdccdda960df88a9743790
Author: Ralf Treinen <treinen at free.fr>
Date:   Fri Jan 17 20:29:52 2014 +0100

    drop patch 0006-Fix-spelling-error-in-binary
---
 debian/changelog                                   |  2 +-
 .../0006-Fix-spelling-error-in-binary.patch        | 36 ----------------------
 2 files changed, 1 insertion(+), 37 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index c180f92..2bebcf5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -10,7 +10,7 @@ why (2.33-1) unstable; urgency=low
     - 0006-Fix-spelling-error-in-binary.patch
     - 0007-Replace-caduceus-invocation-by-Frama-C.patch
 
- --
+ -- Ralf Treinen <treinen at debian.org>  Fri, 17 Jan 2014 20:36:07 +0100
 
 why (2.30+dfsg-5) unstable; urgency=low
 
diff --git a/debian/patches/0006-Fix-spelling-error-in-binary.patch b/debian/patches/0006-Fix-spelling-error-in-binary.patch
deleted file mode 100644
index 31cbda9..0000000
--- a/debian/patches/0006-Fix-spelling-error-in-binary.patch
+++ /dev/null
@@ -1,36 +0,0 @@
-From: Mehdi Dogguy <mehdi at debian.org>
-Date: Mon, 2 Jan 2012 15:57:10 +0100
-Subject: Fix spelling-error-in-binary
-
----
- src/smtlib.ml |    2 +-
- tools/dp.ml   |    2 +-
- 2 files changed, 2 insertions(+), 2 deletions(-)
-
-diff --git a/src/smtlib.ml b/src/smtlib.ml
-index 7c99f9d..3dcfe16 100644
---- a/src/smtlib.ml
-+++ b/src/smtlib.ml
-@@ -311,7 +311,7 @@ let print_obligation fmt loc _is_lemma _o s =
-   fprintf fmt "@]@\n@\n"
- (* 
- 
--   useless since goals are splitted
-+   useless since goals are split
-    (moreover, may trigger a bug with Z3: proves the lemma using the aussmption given after)
- 
-   if is_lemma then begin
-diff --git a/tools/dp.ml b/tools/dp.ml
-index c09f436..b672d8e 100644
---- a/tools/dp.ml
-+++ b/tools/dp.ml
-@@ -72,7 +72,7 @@ let spec =
-     "-select", Arg.Set select_hypotheses,
-     "applies some selection of hypotheses (only Alt-Ergo)";
-     "-simple", Arg.Set simple, "Print only Valid, I don't know, Invalid, Fail, Timeout";
--    "-split", Arg.Set split, "Create a directory wich contains all the goal splitted in different file";
-+    "-split", Arg.Set split, "Create a directory wich contains all the goal split in different file";
-     "-prover", Arg.Symbol (
-       ["Alt-Ergo";"CVC3";"CVCL";"Z3";"Yices";"Simplify";"Vampire"; "VeriT"],(fun s -> prover := Some s)), "Select the prover to use"
-   ]
--- 

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