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