diff options
Diffstat (limited to 'testsuite/tests/no-alias-deps/aliases.compilers.reference')
| -rw-r--r-- | testsuite/tests/no-alias-deps/aliases.compilers.reference | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/no-alias-deps/aliases.compilers.reference b/testsuite/tests/no-alias-deps/aliases.compilers.reference index 5e421986cd..7cbb52c1d8 100644 --- a/testsuite/tests/no-alias-deps/aliases.compilers.reference +++ b/testsuite/tests/no-alias-deps/aliases.compilers.reference @@ -2,6 +2,7 @@ File "aliases.ml", line 17, characters 12-13: 17 | module A' = A (* missing a.cmi *) ^ Warning 49 [no-cmi-file]: no cmi file was found in path for module A + File "aliases.ml", line 18, characters 12-13: 18 | module B' = B (* broken b.cmi *) ^ |