[Pkg-ocaml-maint-commits] [alt-ergo] 08/09: fix spelling

Ralf Treinen treinen at moszumanska.debian.org
Mon Dec 12 19:42:44 UTC 2016


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

treinen pushed a commit to branch master
in repository alt-ergo.

commit 9b20bce6c3f2943569db911b58a1e40e3d2ffd8e
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Dec 12 20:00:52 2016 +0100

    fix spelling
---
 debian/changelog        |  3 ++-
 debian/patches/series   |  1 +
 debian/patches/spelling | 38 ++++++++++++++++++++++++++++++++++++++
 3 files changed, 41 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 2b77c0c..0c25af8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -12,8 +12,9 @@ alt-ergo (1.30-1) unstable; urgency=medium
   * standards-version 3.9.8 (no change)
   * debian/control: dropped redundant Testsuite
   * updated Vcs-{Git,Browser}
+  * patch spelling: various upstream spelling errors
 
- -- Ralf Treinen <treinen at debian.org>  Mon, 12 Dec 2016 19:27:46 +0100
+ -- Ralf Treinen <treinen at debian.org>  Mon, 12 Dec 2016 19:58:57 +0100
 
 alt-ergo (1.01-1) unstable; urgency=medium
 
diff --git a/debian/patches/series b/debian/patches/series
index 822bbfd..870cd06 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,4 @@
 0001-dont-activate-debug-flag
 0002-non-free-dropped
 0003-allow-set-build-date
+spelling
diff --git a/debian/patches/spelling b/debian/patches/spelling
new file mode 100644
index 0000000..007bda8
--- /dev/null
+++ b/debian/patches/spelling
@@ -0,0 +1,38 @@
+Author: Ralf Treinen <treinen at debian.org>
+Description: fix some spelling errors
+
+Index: alt-ergo/src/util/profiling_default.ml
+===================================================================
+--- alt-ergo.orig/src/util/profiling_default.ml	2016-11-29 21:25:40.013885494 +0100
++++ alt-ergo/src/util/profiling_default.ml	2016-12-12 19:56:06.703724080 +0100
+@@ -47,7 +47,7 @@
+ 
+   let failure () =
+     Format.eprintf "@.%s %s at .@."
+-      "Error: This module is not implemented! You may want to complile"
++      "Error: This module is not implemented! You may want to compile"
+       "and load the plugin provided in non-free/profiler/ instead";
+     exit 1
+ 
+Index: alt-ergo/src/util/options.ml
+===================================================================
+--- alt-ergo.orig/src/util/options.ml	2016-11-29 21:25:40.013885494 +0100
++++ alt-ergo/src/util/options.ml	2016-12-12 19:57:39.344160828 +0100
+@@ -217,7 +217,7 @@
+     "-no-theory", Arg.Set no_theory, " Completely deactivate theory reasoning";
+     "-age-bound", Arg.Set_int age_bound, "<n> set the age limite bound";
+     "-greedy" , Arg.Set greedy,
+-    " use all available ground terms in instanciation";
++    " use all available ground terms in instantiation";
+     "-nb-triggers" , Arg.Set_int nb_triggers,
+     " number of redondant (multi)triggers (default: 2)";
+     "-triggers-var" , Arg.Set triggers_var , " allows variables as triggers";
+@@ -233,7 +233,7 @@
+     "-complete-model", Arg.Set complete_model, " experimental support for complete model";
+     "-dinterpretation", Arg.Set debug_interpretation, " set debug flag for interpretation generatation";
+     "-interpretation", Arg.Set_int interpretation, " experimental support for counter-example generation. Possible values are 1, 2, or 3 to compute an interpretation before returning Unknown, before instantiation, or before every decision or instantiation. A negative value (-1, -2, or -3) will disable interpretation display. Note that -max-split limitation will be ignored in model generation phase";
+-    "-proof", Arg.Set proof, " experimental support for succint proof";
++    "-proof", Arg.Set proof, " experimental support for succinct proof";
+     "-debug-proof", Arg.Set debug_proof, " replay unsatisfiable core produced by -proof. This options implies -proof";
+     "-rules", Arg.String set_rules, "tr (tr in <parsing|typing|sat|cc|arith>) output rules used on stderr";
+     "-max-split", Arg.String set_max_split,

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



More information about the Pkg-ocaml-maint-commits mailing list