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 <[email protected]> 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 <[email protected]> +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 _______________________________________________ Pkg-ocaml-maint-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
