diff --git a/Main.lean b/Main.lean
index 24f5b26..58724d1 100644
--- a/Main.lean
+++ b/Main.lean
@@ -1,4 +1,4 @@
 import ANPU
 
 def main : IO Unit :=
-  IO.println s!"Hello, {hello}!"
+  IO.println s!"Hello, {ANPU.hello}!"