From 2e19cb0d94b82a68eaf01fe3d4199d44b250191f Mon Sep 17 00:00:00 2001
From: cp526
Date: Fri, 5 Jun 2015 14:25:09 +0100
Subject: small variable renaming for Isabelle

---
 src/lem_interp/interp.lem | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index de4938f8..ab7e8385 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -1136,8 +1136,8 @@ and vec_concat_match_plev t_level pat r_vals dir l last_pat t =
 	    then 
 	      (true,false,eenv,r_vals,[])
 	    else (false,false,eenv,[],[]) end)
-      | P_as (P_aux pat (l',Just(t,_,_,_))) id -> 
-	let (matched_p, used_unknown, bounds,matcheds,r_vals) = vec_concat_match_plev t_level pat r_vals dir l last_pat t in
+      | P_as (P_aux pat (l',Just(t',_,_,_))) id -> 
+	let (matched_p, used_unknown, bounds,matcheds,r_vals) = vec_concat_match_plev t_level pat r_vals dir l last_pat t' in
 	if matched_p 
 	then (matched_p, used_unknown,
               (add_to_env (id,V_vector (if is_inc(dir) then 0 else (List.length matcheds)) dir matcheds) bounds),
-- 
cgit v1.2.3