summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-warnings/ocamltests
diff options
context:
space:
mode:
authorThomas Refis <thomas.refis@gmail.com>2019-08-23 14:39:18 +0100
committerThomas Refis <thomas.refis@gmail.com>2019-09-11 13:52:18 -0400
commit83690293dcf942e14140a4841b1ff27a9b39ede0 (patch)
tree06749395d14ac77528c2ef45cbf0da32462b2680 /testsuite/tests/typing-warnings/ocamltests
parent6f492fdbd9c352c0502c118a80d451b8867b1dae (diff)
downloadocaml-83690293dcf942e14140a4841b1ff27a9b39ede0.tar.gz
PR#8891: used as a base for other PRspr8891
Diffstat (limited to 'testsuite/tests/typing-warnings/ocamltests')
-rw-r--r--testsuite/tests/typing-warnings/ocamltests1
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/typing-warnings/ocamltests b/testsuite/tests/typing-warnings/ocamltests
index 0c983b6b96..6f022b5f04 100644
--- a/testsuite/tests/typing-warnings/ocamltests
+++ b/testsuite/tests/typing-warnings/ocamltests
@@ -11,6 +11,7 @@ pr7261.ml
pr7297.ml
pr7553.ml
records.ml
+unused_functor_parameter.ml
unused_rec.ml
unused_types.ml
open_warnings.ml