From 7c8576d57de7b7eb36bb6fa2f568fd5388b6d930 Mon Sep 17 00:00:00 2001
From: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Date: Thu, 1 Mar 2018 17:03:20 +0900
Subject: add pr7747.ml to typing-gadts/ocamltests

---
 testsuite/tests/typing-gadts/ocamltests | 1 +
 1 file changed, 1 insertion(+)

diff --git a/testsuite/tests/typing-gadts/ocamltests b/testsuite/tests/typing-gadts/ocamltests
index 1026f6f887..ace6ac47cb 100644
--- a/testsuite/tests/typing-gadts/ocamltests
+++ b/testsuite/tests/typing-gadts/ocamltests
@@ -40,6 +40,7 @@ pr7397.ml
 pr7421.ml
 pr7432.ml
 pr7618.ml
+pr7747.ml
 term-conv.ml
 test.ml
 unify_mb.ml
-- 
cgit v1.2.1