[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.23+dfsg-1-10-g3de1ee2

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 070b6e408b2fd7014ce74d7fb5045b6e7bbbaf21
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jan 24 19:01:02 2010 +0100

    Fix some spelling errors

diff --git a/debian/changelog b/debian/changelog
index bc7004b..8ce222e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -10,6 +10,8 @@ why (2.23+dfsg-1) unstable; urgency=low
     + Use dh 7 features
     + Build-depend on quilt (goodbye dpatch!)
     + Add 0001-Do-not-run-tests-on-non-existant-files.patch
+  * Fix some spelling errors
+    + Add 0003-Fix-spelling-errors.patch
   * Fix debhelper-but-no-misc-depends
   * Fix out-of-date-standards-version
   * Set filter-pristine-tar to True in debian/gbp.conf
diff --git a/debian/patches/0003-Fix-spelling-errors.patch b/debian/patches/0003-Fix-spelling-errors.patch
new file mode 100644
index 0000000..27f30ba
--- /dev/null
+++ b/debian/patches/0003-Fix-spelling-errors.patch
@@ -0,0 +1,64 @@
+From: Mehdi Dogguy <mehdi at debian.org>
+Date: Sun, 24 Jan 2010 18:57:41 +0100
+Subject: [PATCH] Fix spelling errors
+
+---
+ c/ctyping.ml          |    2 +-
+ jc/jc_typing.ml       |    2 +-
+ ml/typing/parmatch.ml |    2 +-
+ tools/dp.ml           |    2 +-
+ 4 files changed, 4 insertions(+), 4 deletions(-)
+
+diff --git a/c/ctyping.ml b/c/ctyping.ml
+index 4bdcbe4..e47a347 100644
+--- a/c/ctyping.ml
++++ b/c/ctyping.ml
+@@ -349,7 +349,7 @@ let warn_for_read_only loc e =
+   | TEvar (Fun_info _f) ->
+       warning loc ("function assignment (ignored)")
+   | _ when e.texpr_type.ctype_const ->
+-      warning loc "assigment of read-only location"
++      warning loc "assignment of read-only location"
+   | _ -> 
+       ()
+ 
+diff --git a/jc/jc_typing.ml b/jc/jc_typing.ml
+index c217377..4fae30d 100644
+--- a/jc/jc_typing.ml
++++ b/jc/jc_typing.ml
+@@ -3313,7 +3313,7 @@ of an invariant policy";
+               | "cni", [_;_] -> `Cni
+ 
+               | ("inc"|"cni"), _ -> typing_error loc "A Gen_separation inc or cni pragma should have 2 arguments (%i given)" (List.length li)
+-              | _ -> typing_error loc "I dont know that kind of Gen_separation pragma : %s" kind in
++              | _ -> typing_error loc "I don't know that kind of Gen_separation pragma : %s" kind in
+             create_pragma_gen_sep_logic loc kind id li
+           end;
+ 	acc
+diff --git a/ml/typing/parmatch.ml b/ml/typing/parmatch.ml
+index 476d33e..6d5e60d 100644
+--- a/ml/typing/parmatch.ml
++++ b/ml/typing/parmatch.ml
+@@ -135,7 +135,7 @@ let find_label lbl lbls =
+   try
+     let name,_,_ = List.nth lbls lbl.lbl_pos in
+     name
+-  with Failure "nth" -> "*Unkown label*"
++  with Failure "nth" -> "*Unknown label*"
+ 
+ let rec get_record_labels ty tenv =
+   match get_type_descr ty tenv with
+diff --git a/tools/dp.ml b/tools/dp.ml
+index d5fb25f..ad9f498 100644
+--- a/tools/dp.ml
++++ b/tools/dp.ml
+@@ -65,7 +65,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"
+   ]
+ 
+ let () = 
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index 33a37a4..a96cf46 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
 0001-Do-not-run-tests-on-non-existant-files.patch
 0002-Enable-Apron-support.patch
+0003-Fix-spelling-errors.patch

-- 
why packaging