whelp and cic disambiguation removed

[helm.git] / matita / components / tactics / fwdSimplTactic.ml

diff --git a/matita/components/tactics/fwdSimplTactic.ml b/matita/components/tactics/fwdSimplTactic.ml
index 10df83c5db482f34dfe30dbd734dee126ca67245..087e4b3f53cab4fc0197ba5053125c925e7c5db8 100644 (file)
--- a/matita/components/tactics/fwdSimplTactic.ml
+++ b/matita/components/tactics/fwdSimplTactic.ml
@@ -154,6 +154,7 @@ let lapply_tac ?(mk_fresh_name_callback = FreshNamesGenerator.mk_fresh_name ~sub
 let fwd_simpl_tac
      ?(mk_fresh_name_callback = FNG.mk_fresh_name ~subst:[])
      ~dbd hyp =
+assert false (* MATITA 1.0
    let lapply_tac to_what lemma = 
       lapply_tac ~mk_fresh_name_callback ~how_many:1 ~to_what:[to_what] lemma
    in
@@ -171,3 +172,4 @@ let fwd_simpl_tac
             PET.apply_tactic tac status
    in
    PET.mk_tactic fwd_simpl_tac
+   *)