ehm fix

1 year ago · ec88f8065b
parent 4726885732
commit ec88f8065b
1 changed files with 1 additions and 1 deletions
--- a/Main.lean
+++ b/Main.lean
@ -1,6 +1,6 @@
 import Prova 

 def main : IO Unit :=
-  IO.println "Hello, {hello}!"
+  IO.println s!"Hello, {hello}!"

 #eval main