replace generalized to patterns

diff --git a/helm/matita/matitaEngine.ml b/helm/matita/matitaEngine.ml
index 37c96ce4e70f6e14a5613ee74e3daea1d837fa5d..a60e9e20d26c6bbe1b9a0bb65b0d4ca9056f6032 100644 (file)
--- a/helm/matita/matitaEngine.ml
+++ b/helm/matita/matitaEngine.ml
@@ -25,7 +25,8 @@ let tactic_of_ast = function
   | TacticAst.Assumption _ -> Tactics.assumption
   | TacticAst.Auto (_,depth,width) -> 
       AutoTactic.auto_tac ?depth ?width ~dbd:(MatitaDb.instance ()) ()
-  | TacticAst.Change (_, what, with_what, _) -> Tactics.change ~what ~with_what
+  | TacticAst.Change (_, what, with_what, pattern) ->
+     Tactics.change ~what ~with_what ~pattern
   | TacticAst.Clear (_,id) -> Tactics.clear id
   | TacticAst.ClearBody (_,id) -> Tactics.clearbody id
   | TacticAst.Contradiction _ -> Tactics.contradiction