summaryrefslogtreecommitdiff
path: root/doc/tutorial/gf-tutorial2.txt
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2005-12-18 21:29:55 +0000
committeraarne <aarne@cs.chalmers.se>2005-12-18 21:29:55 +0000
commit7878cd5e0ad8d8097a1f7a6b9885b4825fc47686 (patch)
tree06d5aeb8fce8568779d25171f3af1e4ad3e44a88 /doc/tutorial/gf-tutorial2.txt
parent3d9a05f8434344d37f0cf6cd2994233fbecc0780 (diff)
diagrams
Diffstat (limited to 'doc/tutorial/gf-tutorial2.txt')
-rw-r--r--doc/tutorial/gf-tutorial2.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tutorial/gf-tutorial2.txt b/doc/tutorial/gf-tutorial2.txt
index 696f5cbf8..cc5e323c0 100644
--- a/doc/tutorial/gf-tutorial2.txt
+++ b/doc/tutorial/gf-tutorial2.txt
@@ -1345,7 +1345,7 @@ concrete FoodsEng of Foods = open Prelude, MorphoEng in {
} ;
}
- ```
+```