diff --git a/language-sygus.cabal b/language-sygus.cabal
--- a/language-sygus.cabal
+++ b/language-sygus.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                language-sygus
-version:             0.1.1.0
+version:             0.1.1.1
 synopsis:            A parser and printer for the SyGuS 2.0 language.   
 description:         A parser and printer for the SyGuS 2.0 language.  <https://sygus.org/assets/pdf/SyGuS-IF_2.0.pdf>
 license:             BSD3
@@ -28,7 +28,7 @@
   -- other-extensions:    
   build-depends:         array >= 0.3 && < 0.6
                        , base >=4.10 && < 4.13
-                       , text >= 1.1 && < 1.3
+                       , text >= 1.1 && < 1.4
   hs-source-dirs:      src
   default-language:    Haskell2010
   ghc-options:         -Wall
diff --git a/src/Sygus/Print.hs b/src/Sygus/Print.hs
--- a/src/Sygus/Print.hs
+++ b/src/Sygus/Print.hs
@@ -15,7 +15,7 @@
 instance PrintSygus Lit where
     printSygus (LitNum i)
         | i >= 0 = pack $ show i
-        | otherwise = pack $ "- " ++ show (abs i)
+        | otherwise = pack $ "(- " ++ show (abs i) ++ ")"
     printSygus (LitDec s) = pack s
     printSygus (LitBool b) = printSygus b
     printSygus (Hexidecimal s) = pack s
diff --git a/tests/Test.hs b/tests/Test.hs
--- a/tests/Test.hs
+++ b/tests/Test.hs
@@ -58,4 +58,4 @@
 
 printTest1 :: TestTree
 printTest1 = testCase "Negative Number"
-              $ assertBool "Negative Number" (printSygus (LitNum (-1)) == "- 1")
+              $ assertBool "Negative Number" (printSygus (LitNum (-1)) == "(- 1)")