CSPM-cspm 0.4.4.0 → 0.4.4.1

raw patch · 2 files changed

+2/−2 lines, 2 files

Files

CSPM-cspm.cabal +1/−1
src/Main.hs +1/−1

CSPM-cspm.cabal view

@@ -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:

src/Main.hs view

@@ -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 {