summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack/should_fail/bkpfail47.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail47.stderr')
-rw-r--r--testsuite/tests/backpack/should_fail/bkpfail47.stderr2
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail47.stderr b/testsuite/tests/backpack/should_fail/bkpfail47.stderr
index d7f7c174d6..86453f28ea 100644
--- a/testsuite/tests/backpack/should_fail/bkpfail47.stderr
+++ b/testsuite/tests/backpack/should_fail/bkpfail47.stderr
@@ -5,7 +5,7 @@
[3 of 3] Processing r
[1 of 3] Compiling A[sig] ( r/A.hsig, nothing )
-bkpfail47.bkp:9:9: error:
+bkpfail47.bkp:10:9: error:
• Type constructor ‘T’ has conflicting definitions in the module
and its hsig file
Main module: type role T representational nominal