simplified an example

1 year ago · 0296bb851a
parent d210579028
commit 0296bb851a
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 s!"Hello, {hello}!"
+  IO.println "Hello, {hello}!"

 #eval main