diff --git a/CSPM-cspm.cabal b/CSPM-cspm.cabal
--- a/CSPM-cspm.cabal
+++ b/CSPM-cspm.cabal
@@ -1,5 +1,5 @@
 Name:                CSPM-cspm
-Version:             0.4.4.0
+Version:             0.4.4.1
 
 Synopsis:            cspm command line tool for analyzing CSPM specifications.
 Description:
diff --git a/src/Main.hs b/src/Main.hs
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -54,7 +54,7 @@
 argParser = cmdArgsMode
   $ modes [evalMode, traceMode, assertMode, fdrMode, dotMode, toPrologMode]
   &= program "cspm"
-  &= summary "cspm command line utility V0.4.3.0"
+  &= summary "cspm command line utility V0.4.4.1"
 
 data Args =
    ToProlog {