refactoring

1 files changed, 2 insertions, 1 deletions

diff --git a/testdata/Prelude.out b/testdata/Prelude.out
index ead20303..88464b4e 100644
--- a/testdata/Prelude.out
+++ b/testdata/Prelude.out
@@ -191,7 +191,8 @@ isKeyC
     (_rhs ('Empty ""))
     \(d :: _) (e :: _) -> case'RecItem
       \_ -> _ :: _
-      \(f :: _) (g :: _) -> _rhs (primIfThenElse (a == f) (b ~ g) (isKeyC a b e))
+      \(f :: _) (g :: _) -> _rhs
+        (primIfThenElse (a == f) (b `'EqCTt` g) (isKeyC a b e))
       d
     c
 fstTup = _rhs (hlistConsCase (_ :: _) \(a :: _) -> \_ -> a)