From f72890bd05cb4c649482dcd10c137ea13da5a029 Mon Sep 17 00:00:00 2001
From: Inari Listenmaa <inari.listenmaa@gmail.com>
Date: Mon, 7 Jan 2019 08:42:57 +0200
Subject: [PATCH] (synopsis) Fix typos in Music example

---
 doc/synopsis/example.txt | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/doc/synopsis/example.txt b/doc/synopsis/example.txt
index 8c992339..1a43256f 100644
--- a/doc/synopsis/example.txt
+++ b/doc/synopsis/example.txt
@@ -3,12 +3,12 @@ The standard way of building an application has the following modules.
 
 An abstract syntax:
 ```
-  abstract Music = {    
-  cat 
-    Kind, 
+  abstract Music = {
+  cat
+    Kind ;
     Property ;
-  fun 
-    PropKind : Kind -> Property -> Kind ; 
+  fun
+    PropKind : Kind -> Property -> Kind ;
     Song : Kind ;
     American : Property ;
   }
@@ -23,8 +23,8 @@ A domain lexicon interface:
 ```
 A functor on ``Syntax`` and the domain lexicon interface:
 ```
-  incomplete concrete MusicI of Music = open Syntax, MusicLex in {
-  lincat 
+  incomplete concrete MusicI of Music = open Syntax, LexMusic in {
+  lincat
     Kind = CN ;
     Property = AP ;
   lin
@@ -35,7 +35,7 @@ A functor on ``Syntax`` and the domain lexicon interface:
 ```
 For each language, an instance of the domain lexicon:
 ```
-  instance LexMusicGer of LexMusic = CatGer ** open ParadigmsGer in {    
+  instance LexMusicGer of LexMusic = CatGer ** open ParadigmsGer in {
   oper
     song_N = mkN "Lied" "Lieder" neuter ;
     american_A = mkA "amerikanisch" ;