Commits

Iago Abal committed d8d3364

Remove trailing spaces

  • Participants
  • Parent commits d5d8dc9

Comments (0)

Files changed (1)

 Name:                z3
 Version:             0.3.0
 Synopsis:            Bindings for the Z3 Theorem Prover
-Description:         
+Description:
     Bindings for the Z3 Theorem Prover.
     .
     This package is still a work in progress. Low and medium-level bindings
     of yices-painless. These APIs are still incomplete but usable.
     The high-level API ("Z3.Lang") is still very experimental and likely to change.
     .
-    Installation (Unix-like): Just be sure to use the standard locations for 
-    dynamic libraries (\/usr\/lib) and header files (\/usr\/include), or else use 
+    Installation (Unix-like): Just be sure to use the standard locations for
+    dynamic libraries (\/usr\/lib) and header files (\/usr\/include), or else use
     the appropriate Cabal flags.
     .
     Haddock documentation: <http://www.iagoabal.eu/z3-haskell/doc>
   location: https://bitbucket.org/iago/z3-haskell
 
 Library
-    Exposed-modules: 
+    Exposed-modules:
 
         Z3.Base
 
 
     Other-modules:
 
-        Z3.Base.C 
-        
+        Z3.Base.C
+
         Z3.Lang.Exprs
         Z3.Lang.Monad
         Z3.Lang.TY