diff options
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles4.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles4.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles4.stderr b/testsuite/tests/roles/should_compile/Roles4.stderr index 10c698815a..0fdaeec5e8 100644 --- a/testsuite/tests/roles/should_compile/Roles4.stderr +++ b/testsuite/tests/roles/should_compile/Roles4.stderr @@ -14,8 +14,8 @@ COERCION AXIOMS axiom Roles4.N:C3 :: C3 a = a -> Syn1 a -- Defined at Roles4.hs:11:1 Dependent modules: [] -Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0, - integer-gmp-1.0.1.0] +Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0, + integer-gmp-1.0.2.0] ==================== Typechecker ==================== Roles4.$tcC3 |