diff --git a/Language/ImProve/Verify.hs b/Language/ImProve/Verify.hs
--- a/Language/ImProve/Verify.hs
+++ b/Language/ImProve/Verify.hs
@@ -129,9 +129,9 @@
 
 modifiedVars :: Statement -> [VarInfo]
 modifiedVars a = case a of
-  AssignBool  a b -> [varInfo a]
-  AssignInt   a b -> [varInfo a]
-  AssignFloat a b -> [varInfo a]
+  AssignBool  a _ -> [varInfo a]
+  AssignInt   a _ -> [varInfo a]
+  AssignFloat a _ -> [varInfo a]
   Branch _ b c    -> modifiedVars b ++ modifiedVars c
   Sequence a b    -> modifiedVars a ++ modifiedVars b
   Assert _        -> []
diff --git a/improve.cabal b/improve.cabal
--- a/improve.cabal
+++ b/improve.cabal
@@ -1,7 +1,7 @@
 name:    improve
-version: 0.0.12
+version: 0.1.0
 
-category: Language
+category: Language, Formal Methods, Embedded
 
 synopsis: An imperative, verifiable programming language for high assurance applications.
 
@@ -24,9 +24,9 @@
 
 library
     build-depends:
-        base  >= 4.2     && < 5,
-        mtl   >= 1.1.0.1 && < 1.2,
-        yices >= 0.0.0.7 && < 0.0.1
+        base      >= 4.0     && < 5,
+        mtl       >= 1.1.0.1 && < 1.2,
+        yices     >= 0.0.0.7 && < 0.0.1
 
     exposed-modules:
         Language.ImProve