X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2Fparamodulation%2Fsubst.ml;h=819472a15485c0314da6228a3374f300d67d7e94;hb=2cd538bfba517fa5a300f3b5d32afaa380a7f59f;hp=f738d2f63354a343c82b0416d5cd6cb69f7e3ded;hpb=5b911ecf8bcb1644b82316d5f2709ae253a6a36d;p=helm.git

diff --git a/helm/software/components/tactics/paramodulation/subst.ml b/helm/software/components/tactics/paramodulation/subst.ml
index f738d2f63..819472a15 100644
--- a/helm/software/components/tactics/paramodulation/subst.ml
+++ b/helm/software/components/tactics/paramodulation/subst.ml
@@ -211,5 +211,6 @@ let merge_subst_if_possible = naif_merge_subst_if_possible;;
 
 let empty_subst = [];;
 
-let concat_substs x y = x @ y;;
+let concat x y = x @ y;;
+