update PGFService to work after the extensions in the random generation API

2010-09-30 07:35:54 +00:00
parent 3c3082f8ee
commit c200232bfd
2 changed files with 6 additions and 2 deletions
--- a/src/server/gf-server.cabal
+++ b/src/server/gf-server.cabal
@@ -21,7 +21,8 @@ executable pgf-server
                 json >= 0.3.3,
                 utf8-string >= 0.3.1.1,
                 bytestring,
-                 pretty
+                 pretty,
+                 random
  if !os(windows)
    build-depends: unix
  main-is: PGFService.hs