From e3f12103697e5eb9caada06134ba9aba01333928 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 19 Jun 2007 18:12:35 +0000
Subject: extended functor syntax

---
 doc/tutorial/music/MusicEng.gf | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'doc/tutorial/music/MusicEng.gf')

diff --git a/doc/tutorial/music/MusicEng.gf b/doc/tutorial/music/MusicEng.gf
index c85915254..60f7b31d4 100644
--- a/doc/tutorial/music/MusicEng.gf
+++ b/doc/tutorial/music/MusicEng.gf
@@ -1,7 +1,11 @@
 --# -path=.:present:api:prelude
 
-  concrete MusicEng of Music = MusicEng0 - [PropKind] ** 
-      open SyntaxEng in {
+  concrete MusicEng of Music = 
+    MusicI - [PropKind] 
+      with
+        (Syntax = SyntaxEng),
+        (MusicLex = MusicLexEng) ** 
+    open SyntaxEng in {
   lin
     PropKind k p = mkCN k (mkRS (mkRCl which_RP (mkVP p))) ;
   }
-- 
cgit v1.2.3