diff options
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 *) | [] -> [] |