[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