HCoop
/
bpt
/
coccinelle.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Version 1.0.0-rc17 has been released. Some changes are:
[bpt/coccinelle.git]
/
parsing_cocci
/
index.ml
diff --git
a/parsing_cocci/index.ml
b/parsing_cocci/index.ml
index
2784b99
..
028ad2c
100644
(file)
--- a/
parsing_cocci/index.ml
+++ b/
parsing_cocci/index.ml
@@
-187,6
+187,7
@@
let parameterTypeDef p =
| Ast0.Pcircles(dots) -> [65]
| Ast0.OptParam(param) -> [66]
| Ast0.UniqueParam(param) -> [67]
+ | Ast0.AsParam _ -> failwith "not possible"
let statement s =
match Ast0.unwrap s with