diff --git a/a/ATS2.dats b/a/ATS2.dats
index 4add1e9c..cf4faefb 100644
--- a/a/ATS2.dats
+++ b/a/ATS2.dats
@@ -1,4 +1 @@
-val _ =
-	print ("Hello world\n")
-
-implement main0 () = ()
+implement main0 () = println! "Hello World"