1 files changed, 5 insertions, 0 deletions
diff --git a/doc/tutorial/FoodmarketEng.gf b/doc/tutorial/FoodmarketEng.gf
new file mode 100644
index 000000000..105cf53f6
--- /dev/null
+++ b/doc/tutorial/FoodmarketEng.gf
@@ -0,0 +1,5 @@
+concrete FoodmarketEng of Foodmarket = FoodEng, FruitEng, MushroomEng ** {
+  lin
+    FruitKind x = x ;
+    MushroomKind x = x ;
+}