summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-06-14 08:54:45 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-06-14 08:54:45 -0400
commitdc4bc877932313f593178372f2ec8c33d29cdbdf (patch)
tree49e73536dd4126774bec850cec1362610bf10a3a /src/elaborate.sml
parentc650b605d88cd5c6ca5ab38247f240a192810c1d (diff)
Implicit argument insertion for local variables
Diffstat (limited to 'src/elaborate.sml')
-rw-r--r--src/elaborate.sml1
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