jukebox 0.2.4 → 0.2.5

raw patch · 2 files changed

+2/−2 lines, 2 files

Files

jukebox.cabal +1/−1
src/Jukebox/SMTLIB.hs +1/−1

jukebox.cabal view

@@ -1,5 +1,5 @@ Name: jukebox-Version: 0.2.4+Version: 0.2.5 Cabal-version: >= 1.8 Build-type: Simple Author: Nick Smallbone

src/Jukebox/SMTLIB.hs view

@@ -165,7 +165,7 @@       | otherwise = "|" ++ concatMap escapeSym xs ++ "|"      isOk c-      | isAlpha c = True+      | isAlphaNum c = True       | c `elem` ("~!@$%^&*_-+=<>.?/" :: String) = True       | otherwise = False