diff options
Diffstat (limited to 'testsuite/tests/typing-warnings/ocamltests')
| -rw-r--r-- | testsuite/tests/typing-warnings/ocamltests | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/testsuite/tests/typing-warnings/ocamltests b/testsuite/tests/typing-warnings/ocamltests deleted file mode 100644 index 0c983b6b96..0000000000 --- a/testsuite/tests/typing-warnings/ocamltests +++ /dev/null @@ -1,17 +0,0 @@ -ambiguous_guarded_disjunction.ml -application.ml -coercions.ml -exhaustiveness.ml -pr5892.ml -pr6587.ml -pr6872.ml -pr7085.ml -pr7115.ml -pr7261.ml -pr7297.ml -pr7553.ml -records.ml -unused_rec.ml -unused_types.ml -open_warnings.ml -never_returns.ml |