1 files changed, 3 insertions, 1 deletions

diff --git a/testdata/language-features/basic-values/data01.out b/testdata/language-features/basic-values/data01.out
index 7845cf0a..9efc26b6 100644
--- a/testdata/language-features/basic-values/data01.out
+++ b/testdata/language-features/basic-values/data01.out
@@ -1,17 +1,19 @@
+main is not found
 ------------ desugared source code
 data A :: Type where
     B :: A
     C :: A
     D :: A
+
 data E :: Type where
     F :: E
     G :: HList '[] -> E
     H :: E
+
 data D1 :: Type where
     C1 :: D1
     C2 :: HList '[] -> D1
     C3 :: D1
-main is not found
 ------------ trace
 'A :: Type
 B :: A