smtLib 1.0.6 → 1.0.7

raw patch · 2 files changed

+2/−2 lines, 2 files

Files

smtLib.cabal +1/−1
src/SMTLib2/PP.hs +1/−1

smtLib.cabal view

@@ -1,5 +1,5 @@ Name:           smtLib-Version:        1.0.6+Version:        1.0.7 License:        BSD3 License-file:   LICENSE Author:         Iavor S. Diatchki

src/SMTLib2/PP.hs view

@@ -140,7 +140,7 @@   pp cmd =     case cmd of       CmdSetLogic n     -> std "set-logic" n-      CmdSetOption o    -> std "set-options" o+      CmdSetOption o    -> std "set-option" o       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)