Permalink
Browse files

Impot libs.

  • Loading branch information...
1 parent 8f7dcce commit 1e07c3985f99341e0492c4a04aa55e1079d4a0ac @leepike committed Mar 2, 2012
Showing with 17 additions and 16 deletions.
  1. +17 −16 src/Language/Copilot.hs
View
@@ -9,14 +9,14 @@ module Language.Copilot
-- , module Copilot.Compile.SBV
-- Libraries
- , module Copilot.Library.Clocks
- , module Copilot.Library.LTL
- , module Copilot.Library.PTLTL
- , module Copilot.Library.Statistics
- , module Copilot.Library.RegExp
- , module Copilot.Library.Utils
- , module Copilot.Library.Voting
- , module Copilot.Library.Stacks
+ , module Copilot.Library.Libraries
+ -- , module Copilot.Library.LTL
+ -- , module Copilot.Library.PTLTL
+ -- , module Copilot.Library.Statistics
+ -- , module Copilot.Library.RegExp
+ -- , module Copilot.Library.Utils
+ -- , module Copilot.Library.Voting
+ -- , module Copilot.Library.Stacks
) where
import Copilot.Language
@@ -28,12 +28,13 @@ import Copilot.Language.Reify
-- import Copilot.Compile.SBV
-- Libraries
-import Copilot.Library.Clocks
-import Copilot.Library.LTL
-import Copilot.Library.PTLTL
-import Copilot.Library.Statistics
-import Copilot.Library.RegExp
-import Copilot.Library.Utils
-import Copilot.Library.Voting
-import Copilot.Library.Stacks
+import Copilot.Library.Libraries
+-- import Copilot.Library.Clocks
+-- import Copilot.Library.LTL
+-- import Copilot.Library.PTLTL
+-- import Copilot.Library.Statistics
+-- import Copilot.Library.RegExp
+-- import Copilot.Library.Utils
+-- import Copilot.Library.Voting
+-- import Copilot.Library.Stacks

0 comments on commit 1e07c39

Please sign in to comment.