From 71d544745b6c1e13cdb7b3482c150415fa548dfd Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 1 Jul 2005 11:18:42 +0000 Subject: [PATCH] Signature of fwdSimpl changed to get rid of a warning. --- helm/matita/matitaEngine.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/matita/matitaEngine.ml b/helm/matita/matitaEngine.ml index 2a73193f6..852608d51 100644 --- a/helm/matita/matitaEngine.ml +++ b/helm/matita/matitaEngine.ml @@ -57,7 +57,7 @@ let tactic_of_ast = function Tactics.fold ~reduction ~term ~pattern | TacticAst.Fourier _ -> Tactics.fourier | TacticAst.FwdSimpl (_, hyp, names) -> - Tactics.fwd_simpl ~mk_fresh_name_callback:(namer_of names) ~hyp ~dbd:(MatitaDb.instance ()) + Tactics.fwd_simpl ~mk_fresh_name_callback:(namer_of names) ~dbd:(MatitaDb.instance ()) hyp | TacticAst.Generalize (_,pattern,ident) -> let names = match ident with None -> [] | Some id -> [id] in Tactics.generalize ~mk_fresh_name_callback:(namer_of names) pattern -- 2.39.2