From fe29d24b6e795b3149e710659d12a8c9972bed96 Mon Sep 17 00:00:00 2001 From: Marijn Haverbeke Date: Wed, 11 May 2011 15:26:36 +0200 Subject: Get rid of arm indices --- src/comp/middle/fold.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/comp/middle/fold.rs') diff --git a/src/comp/middle/fold.rs b/src/comp/middle/fold.rs index bf85297f..c55858b8 100644 --- a/src/comp/middle/fold.rs +++ b/src/comp/middle/fold.rs @@ -892,7 +892,7 @@ fn fold_arm[ENV](&ENV env, &ast_fold[ENV] fld, &arm a) -> arm { let ENV env_ = fld.update_env_for_arm(env, a); auto ppat = fold_pat(env_, fld, a.pat); auto bblock = fold_block(env_, fld, a.block); - ret rec(pat=ppat, block=bblock, index=a.index); + ret rec(pat=ppat, block=bblock); } fn fold_arg[ENV](&ENV env, &ast_fold[ENV] fld, &arg a) -> arg { -- cgit v1.2.3