diff options
Diffstat (limited to 'testsuite/tests/plugins/plugins11.stdout')
| -rw-r--r-- | testsuite/tests/plugins/plugins11.stdout | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/tests/plugins/plugins11.stdout b/testsuite/tests/plugins/plugins11.stdout index 8e0dca4335..b273bc7a10 100644 --- a/testsuite/tests/plugins/plugins11.stdout +++ b/testsuite/tests/plugins/plugins11.stdout @@ -5,5 +5,4 @@ interfacePlugin: GHC.Base typeCheckPlugin (rn) interfacePlugin: GHC.Types typeCheckPlugin (tc) -interfacePlugin: GHC.Integer.Type -interfacePlugin: GHC.Natural +interfacePlugin: GHC.Num.BigNat |