The following commit has been merged in the master branch:
commit 37a88096ef0a7146a1e0b7a626929e48fc334835
Author: Mehdi Dogguy <me...@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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
