1 files changed, 0 insertions, 4 deletions
diff --git a/doc/tutorial/Fruit.gf b/doc/tutorial/Fruit.gf
deleted file mode 100644
index a3dc1d84a..000000000
--- a/doc/tutorial/Fruit.gf
+++ /dev/null
@@ -1,4 +0,0 @@
-abstract Fruit = {
-    cat Fruit ;
-    fun Apple, Peach : Fruit ;
-}