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/ssrprinters.ml | |
| parent | 2a93216a3851688dd29c06a29c6d1442898faab8 (diff) | |
[ssr] use tclDISPATCH for IPatDispatch (fix #8544)
Diffstat (limited to 'plugins/ssr/ssrprinters.ml')
| -rw-r--r-- | plugins/ssr/ssrprinters.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/ssr/ssrprinters.ml b/plugins/ssr/ssrprinters.ml index 8f4b2179e1..824666ba9c 100644 --- a/plugins/ssr/ssrprinters.ml +++ b/plugins/ssr/ssrprinters.ml @@ -101,7 +101,7 @@ let rec pr_ipat p = | IPatSimpl sim -> pr_simpl sim | IPatClear clr -> pr_clear mt clr | IPatCase iorpat -> hov 1 (str "[" ++ pr_iorpat iorpat ++ str "]") - | IPatDispatch iorpat -> hov 1 (str "/[" ++ pr_iorpat iorpat ++ str "]") + | IPatDispatch(_,iorpat) -> hov 1 (str "/[" ++ pr_iorpat iorpat ++ str "]") | IPatInj iorpat -> hov 1 (str "[=" ++ pr_iorpat iorpat ++ str "]") | IPatRewrite (occ, dir) -> pr_occ occ ++ pr_dir dir | IPatAnon All -> str "*" |