diff options
| author | Enrico Tassi | 2019-01-17 16:17:41 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2019-01-18 19:05:36 +0100 |
| commit | 2f3db0b605b3aa345c1fea26c263ba6793a0fa51 (patch) | |
| tree | e2a10ec2f26d61149129b776693cb4af5cf259a6 /plugins | |
| parent | f059d18c411b4c9e2abba6d158b3a125916f38dc (diff) | |
[ssr] compile "=> {} y" as "=> {y} y"
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/ssr/ssripats.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/ssr/ssripats.ml b/plugins/ssr/ssripats.ml index 7f8825b89f..ce5fccec96 100644 --- a/plugins/ssr/ssripats.ml +++ b/plugins/ssr/ssripats.ml @@ -529,6 +529,8 @@ let tclCompileIPats l = (IOpView(Some [],v)) :: elab rest | (IPatClear cl) :: (IPatView v) :: rest -> (IOpView(None,v)) :: IOpClear cl :: elab rest + | (IPatClear []) :: (IPatId id) :: rest -> + (IOpClear [SsrHyp(None,id)]) :: IOpId id :: elab rest (* boring code *) | [] -> [] |