X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Ftactics%2Fparamodulation%2Fsubst.mli;h=9c124d9633502900162b760365add3ee62a02f2f;hb=97d5c628470f472501ee41a5cc2e045ca89bfbf0;hp=3bbf7d00cb2f322b680d250f84f4e4fba6d18106;hpb=9559b53134624dbee523cf6406a9852665c0ff77;p=helm.git

diff --git a/components/tactics/paramodulation/subst.mli b/components/tactics/paramodulation/subst.mli
index 3bbf7d00c..9c124d963 100644
--- a/components/tactics/paramodulation/subst.mli
+++ b/components/tactics/paramodulation/subst.mli
@@ -39,5 +39,4 @@ val is_in_subst : int -> substitution -> bool
 val merge_subst_if_possible: 
   substitution -> substitution -> 
     substitution option
-val concat_substs: substitution -> substitution -> substitution
-
+val concat: substitution -> substitution -> substitution