diff options
author | Ondrej Filip <feela@network.cz> | 2011-09-18 13:52:50 +0200 |
---|---|---|
committer | Ondrej Filip <feela@network.cz> | 2011-09-18 13:52:50 +0200 |
commit | 4271f2b77ed3862a2356475dc18b0cf5c1086364 (patch) | |
tree | f2fc978ca85ce126f5dd9db2caeb05d530e0fc8c /filter/filter.c | |
parent | 55b58d8c1f51942c487cc268bd9e2ca214913377 (diff) |
Fixed problem during 'configure' with EC
Diffstat (limited to 'filter/filter.c')
-rw-r--r-- | filter/filter.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/filter/filter.c b/filter/filter.c index 98c657b0..b3b17dcf 100644 --- a/filter/filter.c +++ b/filter/filter.c @@ -1214,6 +1214,7 @@ i_same(struct f_inst *f1, struct f_inst *f2) case '|': case '&': case P('m','p'): + case P('m','c'): case P('!','='): case P('=','='): case '<': |