Permalink
Browse files

Merge branch 'master' of git://github.com/yav/presburger.git

  • Loading branch information...
2 parents 52d7943 + 966c25d commit 11ae949673e1958b1f7c7d96f7417a71933634ab @yav committed Apr 26, 2009
Showing with 2 additions and 1 deletion.
  1. +2 −1 src/Data/Integer/Presburger.hs
@@ -371,7 +371,8 @@ ex_step x (Ex xs ds ps) = case as_or_bs of
) : [ 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

0 comments on commit 11ae949

Please sign in to comment.