From f7312b3f4cf68064335bfce0e93811974505f3bd Mon Sep 17 00:00:00 2001
From: Aarne Ranta <aarne@chalmers.se>
Date: Mon, 21 Aug 2017 16:20:13 +0300
Subject: [PATCH] ChunkJpn import list updated

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

diff --git a/examples/app/Makefile b/examples/app/Makefile
index 7c004600e..a69df95de 100644
--- a/examples/app/Makefile
+++ b/examples/app/Makefile
@@ -33,6 +33,9 @@ App15.pgf: $(APP15)
 App16.pgf: $(APP16)
 	$(GFMKT) -name=App16 $(APP16) +RTS -K200M
 
+App17.pgf: $(APP17)
+	$(GFMKT) -name=App16 $(APP17) +RTS -K200M
+
 # Without dependencies:
 App11:
 	$(GFMKT) -name=App11 $(APP11) +RTS -K200M