diff --git a/Main.lean b/Main.lean
index fedff09..8551474 100644
--- a/Main.lean
+++ b/Main.lean
@@ -1,6 +1,6 @@
 import Prova 
 
 def main : IO Unit :=
-  IO.println s!"Hello, {hello}!"
+  IO.println "Hello, {hello}!"
 
 #eval main