diff options
Diffstat (limited to 'testsuite/tests/polykinds/T18522-ppr.stdout')
-rw-r--r-- | testsuite/tests/polykinds/T18522-ppr.stdout | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T18522-ppr.stdout b/testsuite/tests/polykinds/T18522-ppr.stdout index 241530bbed..ce5cea6b49 100644 --- a/testsuite/tests/polykinds/T18522-ppr.stdout +++ b/testsuite/tests/polykinds/T18522-ppr.stdout @@ -1 +1 @@ -T :: forall k -> (k ~ k) => forall j -> k -> j -> * +T :: forall {k}. forall (a :: k) -> () |