summaryrefslogtreecommitdiff
path: root/src/especialize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-01-11 14:52:31 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2012-01-11 14:52:31 -0500
commit7f9f5b2409507d7b84f15737be1f4ce185e4cda6 (patch)
tree56112dd28fed0d21f2e23264dce358d2d7e45796 /src/especialize.sml
parentdf076a40dbdb2b6a63326b61863b094e2963cafb (diff)
Small fix to previous commit
Diffstat (limited to 'src/especialize.sml')
-rw-r--r--src/especialize.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/especialize.sml b/src/especialize.sml
index 29cad975..a73d4064 100644
--- a/src/especialize.sml
+++ b/src/especialize.sml
@@ -180,7 +180,7 @@ fun calcConstArgs enclosingFunction e =
in
case #1 arg of
ERel n =>
- if n = depth - 1 then
+ if n = depth - 1 - count then
visitArgs (count + 1, args')
else
default ()