1 files changed, 0 insertions, 10 deletions
diff --git a/doc/tutorial/HelloIta.gf b/doc/tutorial/HelloIta.gf
deleted file mode 100644
index f1465a867..000000000
--- a/doc/tutorial/HelloIta.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-concrete HelloIta of Hello = {
-
-  lincat Greeting, Recipient = {s : Str} ;
-
-  lin 
-    Hello rec = {s = "ciao" ++ rec.s} ;
-    World = {s = "mondo"} ;
-    Mum = {s = "mamma"} ;
-    Friends = {s = "amici"} ;
-}
-\ No newline at end of file