From 0bb6b5968e1dc243bc251e49df97a07dd5f9ba5a Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Thu, 5 Oct 2017 21:09:38 +0200 Subject: [PATCH] temporaryly fix GF.Command.Commands2 --- src/compiler/GF/Command/Commands2.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/compiler/GF/Command/Commands2.hs b/src/compiler/GF/Command/Commands2.hs index 995d2d560..0cc5d7d23 100644 --- a/src/compiler/GF/Command/Commands2.hs +++ b/src/compiler/GF/Command/Commands2.hs @@ -612,7 +612,7 @@ pgfCommands = Map.fromList [ Nothing -> let funs = functionsByCat pgf id in showCat id funs)) where - showCat c funs = "cat "++showCategory pgf c++ + showCat c funs = "cat "++c++ " ;\n\n"++ unlines [showFun f ty| f<-funs, Just ty <- [functionType pgf f]]