Signed-off-by: Nicolas Kaiser <[email protected]>
---
Just some spelling fixes.
Best regards,
Nicolas Kaiser

 engine/cocci_vs_c.ml |   12 ++++++------
 1 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/engine/cocci_vs_c.ml b/engine/cocci_vs_c.ml
index 9db1d75..af12f31 100644
--- a/engine/cocci_vs_c.ml
+++ b/engine/cocci_vs_c.ml
@@ -770,7 +770,7 @@ let satisfies_econstraint c exp : bool =
       (match cst with
       | Ast_c.String (str, _) -> satisfies_regexpconstraint c str
       | Ast_c.MultiString strlist ->
-         warning "Unable to apply a constraint on an multistring constant!"
+         warning "Unable to apply a constraint on a multistring constant!"
       | Ast_c.Char  (char , _) -> satisfies_regexpconstraint c char
       | Ast_c.Int   (int  , _) -> satisfies_regexpconstraint c int
       | Ast_c.Float (float, _) -> satisfies_regexpconstraint c float)
@@ -1537,7 +1537,7 @@ and (arguments: sequence ->
    * in the Ecomma matching rule.
    *
    * old: Must do some try, for instance when f(...,X,Y,...) have to
-   * test the transfo for all the combinaitions    and if multiple transfo
+   * test the transfo for all the combinations    and if multiple transfo
    * possible ? pb ? => the type is to return a expression option ? use
    * some combinators to help ?
    * update: with the tag-SP approach, no more a problem.
@@ -2483,7 +2483,7 @@ and (struct_field: (A.declaration, B.field) matcher) = 
fun fa fb ->
           pr2_once "warning: bitfield not handled by ast_cocci";
           fail
       | B.Simple (None, typb) ->
-          pr2_once "warning: unamed struct field not handled by ast_cocci";
+          pr2_once "warning: unnamed struct field not handled by ast_cocci";
           fail
       | B.Simple (Some nameidb, typb) ->
 
@@ -2687,7 +2687,7 @@ and simulate_signed ta basea stringsa signaopt tb baseb 
ii rebuilda =
       (* In ii there is a list, sometimes of length 1 or 2 or 3.
        * And even if in baseb we have a Signed Int, that does not mean
        * that ii is of length 2, cos Signed is the default, so if in signa
-       * we have Signed explicitely ? we cant "accrocher" this mcode to
+       * we have Signed explicitly ? we cant "accrocher" this mcode to
        * something :( So for the moment when there is signed in cocci,
        * we force that there is a signed in c too (done in pattern.ml).
        *)
@@ -2973,7 +2973,7 @@ and (typeC: (A.typeC, Ast_c.typeC) matcher) =
 
 
 
-    (* todo: handle the iso on optionnal size specifification ? *)
+    (* todo: handle the iso on optional size specification ? *)
     | A.Array (typa, ia1, eaopt, ia2), (B.Array (ebopt, typb), ii) ->
         let (ib1, ib2) = tuple_of_list2 ii in
         fullType typa typb >>= (fun typa typb ->
@@ -3403,7 +3403,7 @@ and compatible_type a (b,local) =
        loop (a,b)
     | Type_cocci.FunctionPointer a, _ ->
        failwith
-         "TODO: function pointer type doesn't store enough information to 
determine compatability"
+         "TODO: function pointer type doesn't store enough information to 
determine compatibility"
     | Type_cocci.Array   a, (qub, (B.Array (eopt, b),ii)) ->
       (* no size info for cocci *)
        loop (a,b)
-- 
1.7.6
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to