summaryrefslogtreecommitdiff
path: root/testsuite/tests/roles/should_compile/Roles14.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles14.stderr')
-rw-r--r--testsuite/tests/roles/should_compile/Roles14.stderr2
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles14.stderr b/testsuite/tests/roles/should_compile/Roles14.stderr
index 8df56e5fc6..1e20e0c49f 100644
--- a/testsuite/tests/roles/should_compile/Roles14.stderr
+++ b/testsuite/tests/roles/should_compile/Roles14.stderr
@@ -6,7 +6,7 @@ TYPE CONSTRUCTORS
COERCION AXIOMS
axiom Roles12.N:C2 :: C2 a = a -> a
Dependent modules: []
-Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
integer-gmp-1.0.2.0]
==================== Typechecker ====================