diff --git a/CHANGES b/CHANGES
--- a/CHANGES
+++ b/CHANGES
@@ -1,1 +1,2 @@
+1.1:    Add declare-const
 1.0:    First release.
diff --git a/smtLib.cabal b/smtLib.cabal
--- a/smtLib.cabal
+++ b/smtLib.cabal
@@ -1,5 +1,5 @@
 Name:           smtLib
-Version:        1.0.9
+Version:        1.1
 License:        BSD3
 License-file:   LICENSE
 Author:         Iavor S. Diatchki
diff --git a/src/SMTLib2/AST.hs b/src/SMTLib2/AST.hs
--- a/src/SMTLib2/AST.hs
+++ b/src/SMTLib2/AST.hs
@@ -85,6 +85,7 @@
   | CmdSetInfo Attr
   | CmdDeclareType Name Integer
   | CmdDefineType Name [Name] Type
+  | CmdDeclareConst Name Type
   | CmdDeclareFun Name [Type] Type
   | CmdDefineFun Name [Binder] Type Expr
   | CmdPush Integer
diff --git a/src/SMTLib2/PP.hs b/src/SMTLib2/PP.hs
--- a/src/SMTLib2/PP.hs
+++ b/src/SMTLib2/PP.hs
@@ -145,6 +145,7 @@
       CmdSetInfo a      -> std "set-info" a
       CmdDeclareType x n    -> mk "declare-sort" (pp x <+> integer n)
       CmdDefineType x as t  -> fun "define-sort" x as (pp t)
+      CmdDeclareConst x t   -> mk "declare-const" (pp x <+> pp t)
       CmdDeclareFun x ts t  -> fun "declare-fun" x ts (pp t)
       CmdDefineFun x bs t e -> fun "define-fun" x bs (pp t $$ nest 2 (pp e))
       CmdPush n         -> std "push" n