Permalink
Browse files

Fix a bug on the upper bound for existentials.

XXX: look more carefully into this.
  • Loading branch information...
1 parent 428b0d1 commit 966c25d8158a0fd474b52abb175b4e3397353412 @yav committed Apr 1, 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 966c25d

Please sign in to comment.