[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20100401+boron+dfsg-3-4-g500c384

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 500c384bd77fdf27de097127d38cbda5f2aec0fa
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Jul 16 13:54:11 2010 +0200

    Add 0010-More-spelling-fixes.patch

diff --git a/debian/changelog b/debian/changelog
index b12c2e7..c9019bc 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,10 +1,11 @@
 frama-c (20100401+boron+dfsg-4) unstable; urgency=low
 
   * Add 0009-unrollType-in-handle_signed_overflow from upstream.
+  * Add 0010-More-spelling-fixes.patch
   * Convert to 3.0 (quilt) source format.
   * Bump standards version to 3.9.0.
 
- -- Mehdi Dogguy <mehdi at debian.org>  Fri, 16 Jul 2010 13:34:05 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Fri, 16 Jul 2010 13:53:55 +0200
 
 frama-c (20100401+boron+dfsg-3) unstable; urgency=low
 
diff --git a/debian/patches/0010-More-spelling-fixes.patch b/debian/patches/0010-More-spelling-fixes.patch
new file mode 100644
index 0000000..e62f052
--- /dev/null
+++ b/debian/patches/0010-More-spelling-fixes.patch
@@ -0,0 +1,36 @@
+From: Mehdi Dogguy <mehdi at debian.org>
+Date: Fri, 16 Jul 2010 13:53:25 +0200
+Subject: [PATCH] More spelling fixes
+
+---
+ src/memory_state/offsetmap.ml |    2 +-
+ src/value/eval.ml             |    2 +-
+ 2 files changed, 2 insertions(+), 2 deletions(-)
+
+diff --git a/src/memory_state/offsetmap.ml b/src/memory_state/offsetmap.ml
+index 5b2583a..4d99013 100644
+--- a/src/memory_state/offsetmap.ml
++++ b/src/memory_state/offsetmap.ml
+@@ -437,7 +437,7 @@ exception Not_translatable
+        V.singleton_zero
+    with Is_not_included -> (* from [Int_Interv.check_coverage] *)
+      V.top (* the result depends on several intervals and is not covered
+-                    completly. *)
++                    completely. *)
+ 
+ 
+  (* Assumes one wants a value from V.t
+diff --git a/src/value/eval.ml b/src/value/eval.ml
+index 10fe5f9..93efb1e 100644
+--- a/src/value/eval.ml
++++ b/src/value/eval.ml
+@@ -1816,7 +1816,7 @@ let resolv_func_vinfo ~with_alarms deps state funcexp =
+            Location_Bytes.get_keys_exclusive Ival.zero loc
+          with Location_Bytes.Not_all_keys ->
+            Value_parameters.warning ~once:true ~current:true
+-             "Function pointer call is completly unknown: assuming no effects: assert(TODO)";
++             "Function pointer call is completely unknown: assuming no effects: assert(TODO)";
+ 	   raise Leaf)
+       in
+       (* (ignore (Errormsg.log
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index bbaceba..dc99a17 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -7,3 +7,4 @@
 0007-Fix-cpp-command-arguments.patch
 0008-Fix-ai-ival.ml-filter_ge.patch
 0009-unrollType-in-handle_signed_overflow.patch
+0010-More-spelling-fixes.patch

-- 
frama-c packaging