From: Mehdi Dogguy <mehdi@debian.org>
Date: Mon, 2 Jan 2012 14:36:52 +0100
Subject: Fix spelling-error-in-binary

---
 Changelog                  |    4 ++--
 cil/src/frontc/cabs2cil.ml |    4 ++--
 man/frama-c.1              |    2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/Changelog b/Changelog
index b551baf..849fd3c 100644
--- a/Changelog
+++ b/Changelog
@@ -589,7 +589,7 @@ o! Kernel     [2012/11/24] Various types whose names started by t_ in
 o  Rte        [2012/11/23] Export function "exp_annotations" to get RTEs of a C
 	      expression as annotations.
 o*!Kernel     [2012/11/23] Added TLogic_coerce constructor to mark
-	      explicitely a conversion from a C type to a logical one
+	      explicitly a conversion from a C type to a logical one
 	      (in particular floating point -> real and integral -> integer).
 	      Fixes issue #1309.
 o! Kernel     [2012/11/22] Remove unintuitive ?prj argument from Cil visitors,
@@ -1607,7 +1607,7 @@ o* Cil	      [2010/12/20] Fixed bug #645. Ast_info.constant_expr,
 	      mkAddrOrStartOf,mkString,parseInt,sizeOf] no longer use
 	      an optional argument ?loc. It is now a non optional labeled
 	      argument. Previous default value of loc was
-	      ~loc:Cil_datatype.Location.unkown which is most of the time
+	      ~loc:Cil_datatype.Location.unknown which is most of the time
 	      not accurate.
 
 ###################################
diff --git a/cil/src/frontc/cabs2cil.ml b/cil/src/frontc/cabs2cil.ml
index e803678..2699ae8 100644
--- a/cil/src/frontc/cabs2cil.ml
+++ b/cil/src/frontc/cabs2cil.ml
@@ -2318,7 +2318,7 @@ let makeGlobalVarinfo (isadef: bool) (vi: varinfo) : varinfo * bool =
        * local. This can happen when we declare an extern variable with
        * global scope but we are in a local scope. *)
 
-    (* We lookup in the environement. If this is extern inline then the name
+    (* We lookup in the environment. If this is extern inline then the name
      * was already changed to foo__extinline. We lookup with the old name *)
     let lookupname =
       if vi.vstorage = Static then
@@ -3517,7 +3517,7 @@ let default_argument_promotion idx exp =
             "implicit prototype cannot have variadic arguments"
       | TNamed _ -> assert false (* unrollType *)
   in
-  (* if we make a promotion, take it explicitely 
+  (* if we make a promotion, take it explicitly 
      into account in the argument itself *)
   let (_,e) = castTo arg_type typ exp in
   (name,typ,[]), e
diff --git a/man/frama-c.1 b/man/frama-c.1
index 6e46d24..ae537d7 100644
--- a/man/frama-c.1
+++ b/man/frama-c.1
@@ -395,7 +395,7 @@ removes break, continue and switch statement before analyses. Defaults to
 no.
 .TP
 .B -then
-allows to compose analyzes: a first run of Frama-C will occur with the 
+allows one to compose analyzes: a first run of Frama-C will occur with the 
 options before
 .B -then
 and a second run will be done with the options after 
--