simple-smt 0.5.3 → 0.5.4
raw patch · 2 files changed
+3/−3 lines, 2 files
Files
- SimpleSMT.hs +2/−2
- simple-smt.cabal +1/−1
SimpleSMT.hs view
@@ -731,8 +731,8 @@ t <- readIORef tab putStr $ unlines [ replicate t ' ' ++ l | l <- ls ] hFlush stdout- logTab = modifyIORef' tab (+ 4)- logUntab = modifyIORef' tab (subtract 4)+ logTab = modifyIORef' tab (+ 2)+ logUntab = modifyIORef' tab (subtract 2) return Logger { .. }
simple-smt.cabal view
@@ -1,5 +1,5 @@ name: simple-smt-version: 0.5.3+version: 0.5.4 synopsis: A simple way to interact with an SMT solver process. description: A simple way to interact with an SMT solver process. license: BSD3