1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/language-features/basic-values/infix03.out b/testdata/language-features/basic-values/infix03.out
index 8c85e0c4..81521b91 100644
--- a/testdata/language-features/basic-values/infix03.out
+++ b/testdata/language-features/basic-values/infix03.out
@@ -9,7 +9,7 @@ main is not found
 'D :: Type
 D2 :: () -> () -> D
 D3 :: () -> () -> () -> D
-'DCase
+case'D
  :: forall (a :: D -> Type)
    -> (forall (b :: ()) (c :: ()) -> a ('D2 b c))
      -> (forall (d :: ()) (e :: ()) (f :: ()) -> a ('D3 d e f))

diff --git a/testdata/language-features/basic-values/infix03.out b/testdata/language-features/basic-values/infix03.out index 8c85e0c4..81521b91 100644 --- a/testdata/language-features/basic-values/infix03.out +++ b/testdata/language-features/basic-values/infix03.out
@@ -9,7 +9,7 @@ main is not found
9	'D :: Type	9	'D :: Type
10	D2 :: () -> () -> D	10	D2 :: () -> () -> D
11	D3 :: () -> () -> () -> D	11	D3 :: () -> () -> () -> D
12	'DCase	12	case'D
13	:: forall (a :: D -> Type)	13	:: forall (a :: D -> Type)
14	-> (forall (b :: ()) (c :: ()) -> a ('D2 b c))	14	-> (forall (b :: ()) (c :: ()) -> a ('D2 b c))
15	-> (forall (d :: ()) (e :: ()) (f :: ()) -> a ('D3 d e f))	15	-> (forall (d :: ()) (e :: ()) (f :: ()) -> a ('D3 d e f))