diff options
Diffstat (limited to 'testsuite/tests/typing-misc/ocamltests')
-rw-r--r-- | testsuite/tests/typing-misc/ocamltests | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/typing-misc/ocamltests b/testsuite/tests/typing-misc/ocamltests index 5bad7b5f4c..f1db9c4c06 100644 --- a/testsuite/tests/typing-misc/ocamltests +++ b/testsuite/tests/typing-misc/ocamltests @@ -15,6 +15,7 @@ pr7228.ml pr7668_bad.ml printing.ml records.ml +scope_escape.ml unique_names_in_unification.ml variant.ml wellfounded.ml |