diff options
Diffstat (limited to 'testsuite/tests/typing-misc/ocamltests')
-rw-r--r-- | testsuite/tests/typing-misc/ocamltests | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/typing-misc/ocamltests b/testsuite/tests/typing-misc/ocamltests index 4e62195d5d..6d4e684a1b 100644 --- a/testsuite/tests/typing-misc/ocamltests +++ b/testsuite/tests/typing-misc/ocamltests @@ -16,6 +16,8 @@ pr7103.ml pr7228.ml pr7668_bad.ml pr7937.ml +pr8548.ml +pr8548_split.ml gpr2277.ml printing.ml records.ml |