@@ -163,7 +163,7 @@ expression (A region expr) =
163163 (revisedMatch, stmt) <-
164164 case e of
165165 A _ (Var (Var.Canonical Var.Local x)) ->
166− return (Case.matchSubst [(tempVar,x)] initialMatch, [])
166+ return (Case.matchSubst [(tempVar, Var.varName x)] initialMatch, [])
167167 _ ->
168168 do e' <- expression e
169169 return (initialMatch, [VarDeclStmt () [varDecl tempVar e']])