Thanks! julia
On Tue, 30 Aug 2011, Nicolas Kaiser wrote: > 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) > _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
