From d7edc9708738c02b95f365810014097787987739 Mon Sep 17 00:00:00 2001
From: Thomas Refis <thomas.refis@gmail.com>
Date: Mon, 16 Jul 2018 14:19:46 +0100
Subject: [PATCH] update testsuite

---
 testsuite/tests/typing-misc/pat_type_sharing.ml | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/testsuite/tests/typing-misc/pat_type_sharing.ml b/testsuite/tests/typing-misc/pat_type_sharing.ml
index d00a403b308f..1cbf69641b96 100644
--- a/testsuite/tests/typing-misc/pat_type_sharing.ml
+++ b/testsuite/tests/typing-misc/pat_type_sharing.ml
@@ -13,11 +13,5 @@ let foo (type a) (ty : a ty) (x : a r) =
   | Int, { a = 3; b } -> b
   | _ -> assert false;;
 [%%expect{|
-Line _, characters 25-26:
-    | Int, { a = 3; b } -> b
-                           ^
-Error: This expression has type a = int
-       but an expression was expected of type 'a
-       This instance of int is ambiguous:
-       it would escape the scope of its equation
+val foo : 'a ty -> 'a r -> 'a = <fun>
 |}]