From 27299607c6c7329e783f72d92c5da1796d41a5d6 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 27 Jun 2005 17:09:16 +0000 Subject: [PATCH] replace generalized to patterns --- helm/matita/matitaEngine.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/matita/matitaEngine.ml b/helm/matita/matitaEngine.ml index 37c96ce4e..a60e9e20d 100644 --- 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 -- 2.39.2