diff --git a/Math/SMT/Yices/Parser.hs b/Math/SMT/Yices/Parser.hs
--- a/Math/SMT/Yices/Parser.hs
+++ b/Math/SMT/Yices/Parser.hs
@@ -129,7 +129,7 @@
 
 -- | parsec parser for yices expressions
 expY :: GenParser Char st ExpY
-expY = litb <|> try litr <|> liti <|> vare <|> paren expYinParen
+expY = try litb <|> try litr <|> liti <|> vare <|> paren expYinParen
 
 expYinParen = and_ <|> or_ <|> not_ <|> try (=>:) <|> (=:) <|> (/=:)
           <|> try (<:) <|> (<=:) <|> try (>:) <|> (>=:)
diff --git a/yices.cabal b/yices.cabal
--- a/yices.cabal
+++ b/yices.cabal
@@ -1,5 +1,5 @@
 name:                yices
-version:             0.0.0.9
+version:             0.0.0.10
 synopsis:            Haskell programming interface to Yices SMT solver
 description:         Incomplete (no bitvectors) syntax, parser, and inter
                      process communication to Yices from Haskell through pipe.