[Pkg-ocaml-maint-commits] [frama-c] 05/08: New patch to fix more spelling errors

[Mehdi Dogguy]

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

mehdi pushed a commit to branch master
in repository frama-c.

commit 65c6ebbeec9786da461fd6bf6c01df6b69bbde34
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Aug 11 12:30:45 2017 -0400

    New patch to fix more spelling errors
---
 .../0008-More-fixes-of-spelling-errors.patch       | 95 ++++++++++++++++++++++
 debian/patches/series                              |  1 +
 2 files changed, 96 insertions(+)

diff --git a/debian/patches/0008-More-fixes-of-spelling-errors.patch b/debian/patches/0008-More-fixes-of-spelling-errors.patch
new file mode 100644
index 0000000..c95f2a2
--- /dev/null
+++ b/debian/patches/0008-More-fixes-of-spelling-errors.patch
@@ -0,0 +1,95 @@
+From: Mehdi Dogguy <mehdi at debian.org>
+Date: Fri, 11 Aug 2017 12:29:34 -0400
+Subject: More fixes of spelling errors
+
+---
+ src/plugins/scope/dpds_gui.ml   | 2 +-
+ src/plugins/wp/GuiProver.ml     | 2 +-
+ src/plugins/wp/Strategy.ml      | 2 +-
+ src/plugins/wp/Tactical.ml      | 4 ++--
+ src/plugins/wp/wp_parameters.ml | 4 ++--
+ 5 files changed, 7 insertions(+), 7 deletions(-)
+
+diff --git a/src/plugins/scope/dpds_gui.ml b/src/plugins/scope/dpds_gui.ml
+index c7b2a01..82cb868 100644
+--- a/src/plugins/scope/dpds_gui.ml
++++ b/src/plugins/scope/dpds_gui.ml
+@@ -379,7 +379,7 @@ let help (main_ui:Design.main_window_extension_points) =
+        ^"and the data is the one that is selected if any, "
+        ^"or it can be given via a popup.\n"
+        ^"\tIf the text given in the popup is empty, or 'Cancel' is chosen, "
+-       ^"the selection of the command is reseted.");
++       ^"the selection of the command is reset.");
+     add (ShowDef.help);
+     add (Zones.help);
+     add (DataScope.help);
+diff --git a/src/plugins/wp/GuiProver.ml b/src/plugins/wp/GuiProver.ml
+index 6706138..3804a1e 100644
+--- a/src/plugins/wp/GuiProver.ml
++++ b/src/plugins/wp/GuiProver.ml
+@@ -165,7 +165,7 @@ class prover ~(console:Wtext.text) ~prover =
+           Pretty_utils.ksfprintf self#set_label "%a" VCS.pp_prover prover ;
+       | VCS.Computing signal ->
+           self#set_status `EXECUTE ;
+-          self#set_action ~tooltip:"Interrrupt Prover" ~icon:`STOP ~callback:signal () ;
++          self#set_action ~tooltip:"Interrupt Prover" ~icon:`STOP ~callback:signal () ;
+           Pretty_utils.ksfprintf self#set_label "%a (...)" VCS.pp_prover prover ;
+       | VCS.Valid | VCS.Checked ->
+           self#set_status ok_status ;
+diff --git a/src/plugins/wp/Strategy.ml b/src/plugins/wp/Strategy.ml
+index 008b61c..d4a0188 100644
+--- a/src/plugins/wp/Strategy.ml
++++ b/src/plugins/wp/Strategy.ml
+@@ -131,7 +131,7 @@ let registry = ref Tmap.empty
+ let register s =
+   let id = s#id in
+   if Tmap.mem id !registry then
+-    Wp_parameters.error "Strategy #%s already registered (skiped)" id
++    Wp_parameters.error "Strategy #%s already registered (skipped)" id
+   else
+     registry := Tmap.add id (s :> heuristic) !registry
+ 
+diff --git a/src/plugins/wp/Tactical.ml b/src/plugins/wp/Tactical.ml
+index 1afdf92..273f82c 100644
+--- a/src/plugins/wp/Tactical.ml
++++ b/src/plugins/wp/Tactical.ml
+@@ -53,7 +53,7 @@ let rec insert_group cc = function
+ let add_composer (c : #composer) =
+   let id = c#id in
+   if Tmap.mem id !composers then
+-    Wp_parameters.error "Composer #%s already registered (skiped)" id
++    Wp_parameters.error "Composer #%s already registered (skipped)" id
+   else
+     begin
+       composers := Tmap.add id (c :> composer) !composers ;
+@@ -404,7 +404,7 @@ let tacticals = ref Tmap.empty
+ let register t =
+   let id = t#id in
+     if Tmap.mem id !tacticals then
+-      Wp_parameters.error "Tactical #%s already registered (skiped)" id
++      Wp_parameters.error "Tactical #%s already registered (skipped)" id
+     else
+       tacticals := Tmap.add id (t :> t) !tacticals
+ 
+diff --git a/src/plugins/wp/wp_parameters.ml b/src/plugins/wp/wp_parameters.ml
+index 1fb99f9..82a4998 100644
+--- a/src/plugins/wp/wp_parameters.ml
++++ b/src/plugins/wp/wp_parameters.ml
+@@ -276,7 +276,7 @@ module SplitDepth =
+     let option_name = "-wp-split-depth"
+     let default = 0
+     let arg_name = "p"
+-    let help = "Set depth of exploration for spliting conjunctions into sub-goals.\n\
++    let help = "Set depth of exploration for splitting conjunctions into sub-goals.\n\
+ Value `-1` means an unlimited depth."
+   end)
+ 
+@@ -681,7 +681,7 @@ module TruncPropIdFileName =
+     let option_name = "-wp-filename-truncation"
+     let default = 60
+     let arg_name = "n"
+-    let help = "Truncate basename of proof obligation files after <n> characters. Since numbers can be added as suffixes to make theses names unique, filename lengths can be highter to <n>. No truncation is performed when the value equals to zero (defaut: 60)."
++    let help = "Truncate basename of proof obligation files after <n> characters. Since numbers can be added as suffixes to make theses names unique, filename lengths can be highter to <n>. No truncation is performed when the value equals to zero (default: 60)."
+   end)
+ 
+ 
diff --git a/debian/patches/series b/debian/patches/series
index 53afd62..20a6604 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -5,3 +5,4 @@
 0005-Value.cmo-needs-LoopAnalysis.cmo.patch
 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
 0007-Fix-FTBFS-with-OCaml-4.05.0.patch
+0008-More-fixes-of-spelling-errors.patch

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