# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1326311551 18000
# Node ID 266814b15dd6616cc6ad1a03e51e6ab94876cfb1
# Parent  13dad713da354c8739f0cffb34b7965acaa921c3
Small fix to previous commit

diff -r 13dad713da35 -r 266814b15dd6 src/especialize.sml
--- a/src/especialize.sml	Wed Jan 11 13:53:35 2012 -0500
+++ b/src/especialize.sml	Wed Jan 11 14:52:31 2012 -0500
@@ -180,7 +180,7 @@
                                         in
                                             case #1 arg of
                                                 ERel n =>
-                                                if n = depth - 1 then
+                                                if n = depth - 1 - count then
                                                     visitArgs (count + 1, args')
                                                 else
                                                     default ()