From 7f9f5b2409507d7b84f15737be1f4ce185e4cda6 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 11 Jan 2012 14:52:31 -0500 Subject: Small fix to previous commit --- src/especialize.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/especialize.sml') 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 () -- cgit v1.2.3