diff options
Diffstat (limited to 'testsuite/tests/typing-recmod/ocamltests')
-rw-r--r-- | testsuite/tests/typing-recmod/ocamltests | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/testsuite/tests/typing-recmod/ocamltests b/testsuite/tests/typing-recmod/ocamltests deleted file mode 100644 index 2328927353..0000000000 --- a/testsuite/tests/typing-recmod/ocamltests +++ /dev/null @@ -1,22 +0,0 @@ -t01bad.ml -t02bad.ml -t03ok.ml -t04bad.ml -t05bad.ml -t06ok.ml -t07bad.ml -t08bad.ml -t09bad.ml -t10ok.ml -t11bad.ml -t12bad.ml -t13ok.ml -t14bad.ml -t15bad.ml -t16ok.ml -t17ok.ml -t18ok.ml -t20ok.ml -t21ok.ml -t22ok.ml -gpr1626.ml |