diff options
| author | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2018-03-01 17:03:20 +0900 |
|---|---|---|
| committer | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2018-03-01 17:03:20 +0900 |
| commit | 7c8576d57de7b7eb36bb6fa2f568fd5388b6d930 (patch) | |
| tree | 1ee2b8860bdebcc810d04482401f66aef558039d | |
| parent | a84c11e293067c20ea612c5fcdcf02fdff1ccad9 (diff) | |
| download | ocaml-7c8576d57de7b7eb36bb6fa2f568fd5388b6d930.tar.gz | |
add pr7747.ml to typing-gadts/ocamltests
| -rw-r--r-- | testsuite/tests/typing-gadts/ocamltests | 1 |
1 files changed, 1 insertions, 0 deletions
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 |