From 4063c155ff95d3364fcdefb162f24d76b12c71a4 Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Thu, 6 Dec 2012 15:40:58 +0000 Subject: [PATCH] Cleared unused variables in wsem_match (they were also sharing names with other variables). --- matita/matita/lib/turing/multi_universal/match.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/matita/lib/turing/multi_universal/match.ma b/matita/matita/lib/turing/multi_universal/match.ma index 9df8257fa..9c4893727 100644 --- a/matita/matita/lib/turing/multi_universal/match.ma +++ b/matita/matita/lib/turing/multi_universal/match.ma @@ -401,7 +401,7 @@ lapply (sem_while … (sem_match_step src dst sig n is_startc is_endc Hneq Hsrc >reverse_cons >associative_append @(HFalse ?? Hnotnil) ] ] -|#ta #tb #tc #Htrue #Hstar #IH #Hout lapply (IH Hout) -IH -Hout #IH whd +|-ta -tb #ta #tb #tc #Htrue #Hstar #IH #Hout lapply (IH Hout) -IH -Hout #IH whd #ls #x #xs #end #rs #Hmid_src #Hnotend #Hend #Hnotstart lapply (refl ? (current ? (nth dst ? ta (niltape ?)))) cases (current ? (nth dst ? ta (niltape ?))) in ⊢ (???%→?); -- 2.39.2