From 0296bb851a3b9371607a062342082a2353d11c59 Mon Sep 17 00:00:00 2001
From: Antonio De Lucreziis <antonio.delucreziis@gmail.com>
Date: Fri, 29 Sep 2023 13:12:50 +0200
Subject: [PATCH] simplified an example

---
 Main.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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