Merge branch 'declarative' into matita-lablgtk3

[helm.git] / matita / components / ng_tactics / continuationals.ml

diff --git a/matita/components/ng_tactics/continuationals.ml b/matita/components/ng_tactics/continuationals.ml
index 5538a3c2d0f985cfeecaf72d046f299e58619032..dc54c89dd8c600704ea9393580823ff00732c17e 100644 (file)
--- 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