Bugfix: during normalization we used the wrong term t1 instead of t1'

yav · Apr 27, 2009 · 8065e8a · 8065e8a
1 parent 3428887
commit 8065e8a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Data/Integer/Presburger/Prop.hs b/src/Data/Integer/Presburger/Prop.hs
@@ -47,7 +47,7 @@ norm x p = case prop p of
   Divides n t1
     | k1 == 0    -> Ind  p
     | k1 > 0     -> Norm p { prop = CVarP k1 (NDivides n t1') }
-    | otherwise  -> Norm p { prop = CVarP (negate k1) (NDivides n (negate t1))}
+    | otherwise  -> Norm p { prop = CVarP (negate k1) (NDivides n (negate t1'))}
     where(k1,t1') = split_term x t1     -- t1 = k1 * x + t1'
 
   FF -> Ind p