presburger 0.2 → 0.3

raw patch · 2 files changed

+3/−2 lines, 2 files

Files

presburger.cabal +1/−1
src/Data/Integer/Presburger.hs +2/−1

presburger.cabal view

@@ -1,5 +1,5 @@ Name:           presburger-Version:        0.2+Version:        0.3 License:        BSD3 License-file:   LICENSE Author:         Iavor S. Diatchki

src/Data/Integer/Presburger.hs view

@@ -371,7 +371,8 @@     ) : [ let arg = b + var x           in Ex ((x,d) : xs) (constr arg) (map (`normal` arg) ps1) | b <- bs ] -  where (ps1,k,d,as_or_bs) = analyze_props x ps+  where (ps1,k,d',as_or_bs) = analyze_props x ps+        d = lcms (d' : map fst ds)         constr t = if k == 1 then ds else (k,t) : ds