X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Flib%2Fshare.ml;h=c8097d568eac398c663e5ac5a11d7be212bd4cda;hb=be527f5bd4acaf530d8843b23e6849fd5211e1fc;hp=019cca982ddab5b8b68335089d898ddaedffbc7e;hpb=f3b4d265268a43ca98e6843b733109fdfe3f6b0b;p=helm.git

diff --git a/helm/software/lambda-delta/lib/share.ml b/helm/software/lambda-delta/lib/share.ml
index 019cca982..c8097d568 100644
--- a/helm/software/lambda-delta/lib/share.ml
+++ b/helm/software/lambda-delta/lib/share.ml
@@ -11,6 +11,9 @@
 
 let sh a b =
    if a == b then a else b
-   
-let sh2 a1 b1 a2 b2 c1 c2 =
+
+let sh1 a1 a2 b1 b2 =
+   if a1 == a2 then b1 else b2 (sh a1 a2)
+
+let sh2 a1 a2 b1 b2 c1 c2 =
    if a1 == a2 && b1 == b2 then c1 else c2 (sh a1 a2) (sh b1 b2)