Permalink
Browse files

Remove obsolete comment

  • Loading branch information...
1 parent 8065e8a commit 66a2db2c8187e3ded4039543819686fa922f0049 @yav committed Apr 27, 2009
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/Data/Integer/Presburger/Form.hs
@@ -111,7 +111,7 @@ simplify (Ex True (x,1) f) = simplify (neg (subst_form x 1 f))
simplify (Ex b x f) = case simplify f of
Leaf (Prop n FF) -> Leaf (Prop (not (b == n)) FF)
- f1 -> Ex b x f1 -- when bound is 1, just substitutite 1
+ f1 -> Ex b x f1
simplify (Leaf l) = Leaf (simplify_prop l)

0 comments on commit 66a2db2

Please sign in to comment.