[minisat+] 05/06: fix spelling in help

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository minisat+.

commit ced9f8170cfa3d52288bac4377d284fde055b900
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Dec 19 07:32:28 2016 +0100

    fix spelling in help
---
 debian/changelog        |  3 ++-
 debian/patches/series   |  1 +
 debian/patches/spelling | 16 ++++++++++++++++
 3 files changed, 19 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 37ec93c..65a014d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,8 +6,9 @@ minisat+ (1.0-3) unstable; urgency=medium
     - bump debian/compat
     - bump build-dependency on debhelper
   * Vcs-{Git,Browser}: secure URI
+  * patch spelling: fix typo in help text
 
- -- Ralf Treinen <treinen at debian.org>  Mon, 19 Dec 2016 07:25:24 +0100
+ -- Ralf Treinen <treinen at debian.org>  Mon, 19 Dec 2016 07:31:53 +0100
 
 minisat+ (1.0-2) unstable; urgency=low
 
diff --git a/debian/patches/series b/debian/patches/series
index 9dd22c6..f362199 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
+spelling
 exitcode
diff --git a/debian/patches/spelling b/debian/patches/spelling
new file mode 100644
index 0000000..51ebe70
--- /dev/null
+++ b/debian/patches/spelling
@@ -0,0 +1,16 @@
+Author: Ralf Treinen <treinen at debian.org>
+Description: fix a spelling error in help text
+
+Index: minisat+/Main.C
+===================================================================
+--- minisat+.orig/Main.C	2011-05-24 20:59:49.000000000 +0200
++++ minisat+/Main.C	2016-12-19 07:29:13.894553743 +0100
+@@ -79,7 +79,7 @@
+     "\n"
+     "  -bdd-thres=   Threshold for prefering BDDs in mixed mode.        [def: %g]\n"
+     "  -sort-thres=  Threshold for prefering sorters. Tried after BDDs. [def: %g]\n"
+-    "  -goal-bias=   Bias goal function convertion towards sorters.     [def: %g]\n"
++    "  -goal-bias=   Bias goal function conversion towards sorters.     [def: %g]\n"
+     "\n"
+     "  -1 -first     Don\'t minimize, just give first solution found\n"
+     "  -A -all       Don\'t minimize, give all solutions\n"

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/minisat+.git