diff options
| author | Enrico Tassi | 2018-09-25 11:09:06 -0500 |
|---|---|---|
| committer | Maxime Dénès | 2018-10-31 17:16:53 +0100 |
| commit | e2174ff5e54bb39e0db6c92fefd6c4b864c7f76b (patch) | |
| tree | 4dd88d74da7162f360b2762d5937bd36c67178a6 /plugins/ssr/ssrcommon.ml | |
| parent | 2a93216a3851688dd29c06a29c6d1442898faab8 (diff) | |
[ssr] use tclDISPATCH for IPatDispatch (fix #8544)
Diffstat (limited to 'plugins/ssr/ssrcommon.ml')
| -rw-r--r-- | plugins/ssr/ssrcommon.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/ssr/ssrcommon.ml b/plugins/ssr/ssrcommon.ml index 5d75b28539..ebe4aac213 100644 --- a/plugins/ssr/ssrcommon.ml +++ b/plugins/ssr/ssrcommon.ml @@ -800,7 +800,7 @@ let rec is_name_in_ipats name = function | IPatId id :: tl -> id = name || is_name_in_ipats name tl | IPatAbstractVars ids :: tl -> CList.mem_f Id.equal name ids || is_name_in_ipats name tl - | (IPatCase l | IPatDispatch l | IPatInj l) :: tl -> + | (IPatCase l | IPatDispatch (_,l) | IPatInj l) :: tl -> List.exists (is_name_in_ipats name) l || is_name_in_ipats name tl | (IPatView _ | IPatAnon _ | IPatSimpl _ | IPatRewrite _ | IPatTac _ | IPatNoop) :: tl -> is_name_in_ipats name tl | [] -> false |