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
commit772ca6347af9fdc871524a0436c759d313e90ff7 (patch)
tree56112dd28fed0d21f2e23264dce358d2d7e45796 /src/especialize.sml
parentff3125fed9960c6d5e4a2a85769d8c8f180eb902 (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 ()