diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_run/TypeOf.stdout')
| -rw-r--r-- | testsuite/tests/typecheck/should_run/TypeOf.stdout | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_run/TypeOf.stdout b/testsuite/tests/typecheck/should_run/TypeOf.stdout index 6e9a28ed7c..912fe39a84 100644 --- a/testsuite/tests/typecheck/should_run/TypeOf.stdout +++ b/testsuite/tests/typecheck/should_run/TypeOf.stdout @@ -21,4 +21,4 @@ Proxy * * Proxy * * Proxy RuntimeRep 'LiftedRep Proxy (Nat,Symbol) ('(,) Nat Symbol 1 "hello") -Proxy (* -> * -> Constraint) (~~ * *) +Proxy (* -> * -> Constraint) ((~~) * *) |