diff options
Diffstat (limited to 'src/corify.sml')
-rw-r--r-- | src/corify.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/corify.sml b/src/corify.sml index 1be29665..075939bf 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -538,7 +538,7 @@ structure St : sig val k = (L'.KType, loc) val dcons = map (fn (x, n, to) => let - val args = ListUtil.mapi (fn (i, _) => (L'.CRel n, loc)) xs + val args = ListUtil.mapi (fn (i, _) => (L'.CRel i, loc)) xs val (e, t) = case to of NONE => ((L'.ECon (dk, L'.PConVar n, args, NONE), loc), t) |