From: Claudio Sacerdoti Coen Date: Fri, 1 Jul 2005 11:18:42 +0000 (+0000) Subject: Signature of fwdSimpl changed to get rid of a warning. X-Git-Tag: PRE_GETTER_STORAGE~72 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=71d544745b6c1e13cdb7b3482c150415fa548dfd;p=helm.git Signature of fwdSimpl changed to get rid of a warning. --- 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