1 files changed, 0 insertions, 12 deletions
diff --git a/doc/tutorial/music/Music.gf b/doc/tutorial/music/Music.gf
deleted file mode 100644
index 23defb7a6..000000000
--- a/doc/tutorial/music/Music.gf
+++ /dev/null
@@ -1,12 +0,0 @@
-  abstract Music = {
-
-    flags startcat=Kind ;
-
-    cat 
-      Kind ;
-      Property ;
-    fun 
-      PropKind : Kind -> Property -> Kind ; 
-      Song : Kind ;
-      American : Property ;
-}
-\ No newline at end of file