diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-06-14 08:54:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-06-14 08:54:45 -0400 |
| commit | 98c8150aeee09e8b565389f41dd854fcb81de5a8 (patch) | |
| tree | 49e73536dd4126774bec850cec1362610bf10a3a /src | |
| parent | b9e6f864a787d648a69f0a2a3009608043d04ae7 (diff) | |
Implicit argument insertion for local variables
Diffstat (limited to 'src')
| -rw-r--r-- | src/elaborate.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index 61a0b1c0..ed2e0d78 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -1751,6 +1751,7 @@ fun findHead e e' = case e of L'.ENamed _ => true | L'.EModProj _ => true + | L'.ERel _ => true | L'.EApp (e, _) => findHead' e | L'.ECApp (e, _) => findHead' e | L'.EKApp (e, _) => findHead' e |