X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fcomponents%2Fng_tactics%2Fcontinuationals.ml;h=dc54c89dd8c600704ea9393580823ff00732c17e;hp=5538a3c2d0f985cfeecaf72d046f299e58619032;hb=5b5dca0c118dfbe3ba8f0514ef07549544eb7810;hpb=4112b9f87a555bfc4c3cd06bae652cd2382cad8b

diff --git a/matita/components/ng_tactics/continuationals.ml b/matita/components/ng_tactics/continuationals.ml
index 5538a3c2d..dc54c89dd 100644
--- a/matita/components/ng_tactics/continuationals.ml
+++ b/matita/components/ng_tactics/continuationals.ml
@@ -51,7 +51,7 @@ struct
     let rec aux acc depth =
       function
       | [] -> acc
-      | (locs, todos, conts, tag, p) :: tl ->
+      | (locs, todos, conts, tag, _p) :: tl ->
           let acc = List.fold_left (fun acc -> env acc depth tag)  acc locs in
           let acc = List.fold_left (fun acc -> cont acc depth tag) acc conts in
           let acc = List.fold_left (fun acc -> todo acc depth tag) acc todos in