From 8873582fde20b29591e3126e8b2898f795ba88b4 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 15 Apr 2014 21:26:33 +0000 Subject: [PATCH] removed clash in AppFin imports --- examples/app/AppFin.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/app/AppFin.gf b/examples/app/AppFin.gf index d0b9e01ba..6e3fcd167 100644 --- a/examples/app/AppFin.gf +++ b/examples/app/AppFin.gf @@ -29,7 +29,7 @@ concrete AppFin of App = -- Extensions ] - ,PhrasebookFin - [PSentence, PQuestion, PGreetingMale, PGreetingFemale, GObjectPlease, open_A] + ,PhrasebookFin - [PSentence, PQuestion, PGreetingMale, PGreetingFemale, GObjectPlease, open_A, open_Adv] ** open ParadigmsFin, SyntaxFin, Prelude in {