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.2.0
[bpt/coccinelle.git]
/
engine
/
pattern_c.ml
diff --git
a/engine/pattern_c.ml
b/engine/pattern_c.ml
index
67f7414
..
6bfa0a6
100644
(file)
--- a/
engine/pattern_c.ml
+++ b/
engine/pattern_c.ml
@@
-147,7
+147,9
@@
module XMATCH = struct
else xs
*)
(* opti? use set instead of list *)
- m1 tin ++ m2 tin
+ let l1 = m1 tin in
+ let l2 = m2 tin in
+ if l2 = [] then l1 else l1 ++ l2 (*a small benefit; avoid a trivial @*)
let return res = fun tin ->