[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.29+dfsg-4-12-g5c5ac3c

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 37a88096ef0a7146a1e0b7a626929e48fc334835
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Mon Jan 2 15:34:24 2012 +0100

    Fix spelling-error-in-binary

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"
   ]

-- 
why packaging