HCoop
/
bpt
/
coccinelle.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Release coccinelle-0.1.2
[bpt/coccinelle.git]
/
engine
/
cocci_vs_c.mli
diff --git
a/engine/cocci_vs_c_3.mli
b/engine/cocci_vs_c.mli
similarity index 98%
rename from
engine/cocci_vs_c_3.mli
rename to
engine/cocci_vs_c.mli
index
514ef64
..
3e28251
100644
(file)
--- a/
engine/cocci_vs_c_3.mli
+++ b/
engine/cocci_vs_c.mli
@@
-109,7
+109,7
@@
module type PARAM =
matcher
val distrf_struct_fields :
matcher
val distrf_struct_fields :
- (Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.field
Ast_c.wrap
list)
+ (Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.field list)
matcher
val distrf_cst :
matcher
val distrf_cst :
@@
-145,7
+145,7
@@
module type PARAM =
Ast_cocci.inherited ->
Ast_cocci.meta_name Ast_cocci.mcode * Ast_c.metavar_binding_kind *
(* pos info, if needed *)
Ast_cocci.inherited ->
Ast_cocci.meta_name Ast_cocci.mcode * Ast_c.metavar_binding_kind *
(* pos info, if needed *)
- (unit -> Common.filename * Ast_c.posl * Ast_c.posl) ->
+ (unit -> Common.filename *
string *
Ast_c.posl * Ast_c.posl) ->
(unit -> tin -> 'x tout) -> (tin -> 'x tout)
val check_constraints :
(unit -> tin -> 'x tout) -> (tin -> 'x tout)
val check_constraints :