From 01f6ba510b7d45ac0796218cb193549299c88561 Mon Sep 17 00:00:00 2001
From: Alain Frisch <alain@frisch.fr>
Date: Oct 18 2012 17:08:09 +0000
Subject: Cleanup.


git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13036 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

---

diff --git a/typing/typecore.ml b/typing/typecore.ml
index a556bda..4e46710 100644
--- a/typing/typecore.ml
+++ b/typing/typecore.ml
@@ -564,11 +564,7 @@ let type_label_a_list ?labels env type_lbl_a opath lid_a_list =
                 Location.prerr_warning lid.loc
                   (Warnings.Not_principal "this type-based record selection");
               p1
-          | _, Tconstr _ ->
-	      begin match ty_res.desc with
-		Tconstr (p,_,_) -> p
-	      | _ -> assert false
-	      end
+          | _, Tconstr (p, _, _) -> p
           | _ -> assert false
         in
         path, snd (Env.find_type_descrs path env)