From c8acc8fe116b2e967896f7e31586b83bc826de0e Mon Sep 17 00:00:00 2001 From: krasimir Date: Sat, 31 Jul 2010 10:45:59 +0000 Subject: fix: PGFService should type-check the trees that comes from the user --- src/server/gf-server.cabal | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/server/gf-server.cabal') diff --git a/src/server/gf-server.cabal b/src/server/gf-server.cabal index 353dc499b..fa576db4e 100644 --- a/src/server/gf-server.cabal +++ b/src/server/gf-server.cabal @@ -18,7 +18,8 @@ executable pgf-server fastcgi >= 3001.0.2.2, json >= 0.3.3, utf8-string >= 0.3.1.1, - bytestring + bytestring, + pretty if !os(windows) build-depends: unix main-is: PGFService.hs -- cgit v1.2.3