From 7316caf0922805f309253b159ba78692c3ef452c Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Wed, 3 Dec 2014 13:18:48 +0000
Subject: [PATCH] app Makefile default now App12 with Cat

---
 examples/app/Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/examples/app/Makefile b/examples/app/Makefile
index 45c34961a..2189c08f9 100644
--- a/examples/app/Makefile
+++ b/examples/app/Makefile
@@ -1,4 +1,4 @@
-all: Phrasebook App11.pgf
+all: Phrasebook App12.pgf
 
 PROBSFILE=./app.probs
 GFODIR=./gfos
@@ -22,9 +22,9 @@ App12.pgf: $(APP12)
 
 # Without dependencies:
 App11:
-	$(GFMKT) -name=App11 $(APP11) +RTS -K200M
+	$(GFMKT) -name=App12 $(APP11) +RTS -K200M
 App12:
-	$(GFMKT) -name=App11 $(APP12) +RTS -K200M
+	$(GFMKT) -name=App12 $(APP12) +RTS -K200M
 
 # App grammars for individual languages
 AppEng.pgf:: ; $(GFMKT) -name=AppEng AppEng.gf