From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Thu, 6 Dec 2012 15:40:58 +0000 (+0000)
Subject: Cleared unused variables in wsem_match (they were also sharing names with
X-Git-Tag: make_still_working~1410
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4063c155ff95d3364fcdefb162f24d76b12c71a4;p=helm.git

Cleared unused variables in wsem_match (they were also sharing names with
other variables).
---

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 ⊢ (???%→?);