From 00fa4010df1c981bc5cabe0f82aa8dab79978a2d Mon Sep 17 00:00:00 2001
From: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
Date: Nov 11 2013 03:51:27 +0000
Subject: forgot test...


git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

---

diff --git a/testsuite/tests/typing-modules-bugs/gatien_baron_20131019_ok.ml b/testsuite/tests/typing-modules-bugs/gatien_baron_20131019_ok.ml
index 6f1ed79..7027896 100644
--- a/testsuite/tests/typing-modules-bugs/gatien_baron_20131019_ok.ml
+++ b/testsuite/tests/typing-modules-bugs/gatien_baron_20131019_ok.ml
@@ -4,6 +4,7 @@ open Std;;
 module Hash1 : module type of Hash = Hash;;
 module Hash2 : sig include (module type of Hash) end = Hash;;
 let f1 (x : (_,_) Hash1.t) = (x : (_,_) Hashtbl.t);;
+let f2 (x : (_,_) Hash2.t) = (x : (_,_) Hashtbl.t);;
 
 (* original report required Core_kernel:
 module type S = sig