Removed other modules from cabal config

dd79a707 · Philipp Meyer · 490fe966 · dd79a707
Commit dd79a707 authored May 09, 2014 by Philipp Meyer
--- a/slapnet.cabal
+++ b/slapnet.cabal
@@ -20,9 +20,6 @@ source-repository head
 executable slapnet
  main-is: Main.hs
  other-modules:
-    PetriNet
-    Parser
-    Solver
  -- other-extensions:
  build-depends:       base >=4.6 && <4.7, sbv, parsec, containers
  hs-source-dirs:      src