From 9102f16c3de63c08991070bea4eb8058e5da07cb Mon Sep 17 00:00:00 2001
From: Leo White <lpw25@cl.cam.ac.uk>
Date: Wed, 5 Oct 2016 17:18:00 +0100
Subject: No alias strengthening in includemod to match 4.03.0

---
 typing/includemod.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/typing/includemod.ml b/typing/includemod.ml
index 336dadf7fd..1ff9da4ca7 100644
--- a/typing/includemod.ml
+++ b/typing/includemod.ml
@@ -410,7 +410,7 @@ and signature_components old_env env cxt subst paired =
       let p1 = Pident id1 in
       let cc =
         modtypes env (Module id1::cxt) subst
-          (Mtype.strengthen ~aliasable:true env mty1.md_type p1) mty2.md_type
+          (Mtype.strengthen ~aliasable:false env mty1.md_type p1) mty2.md_type
       in
       (pos, cc) :: comps_rec rem
   | (Sig_modtype(id1, info1), Sig_modtype(id2, info2), pos) :: rem ->
-- 
cgit v1.2.1