Permalink
Browse files

Fix a haddock bug.

  • Loading branch information...
1 parent 1dda7b7 commit 338ba896321981147ed1ea16dfd017e8d79eedde @yav committed Mar 25, 2009
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/Data/Integer/Presburger.hs
@@ -114,7 +114,7 @@ data Term = Term (Map.IntMap Integer) Integer
type Name = Int
--- | @split_term x (n * x + t1) = (n,t1)
+-- | @split_term x (n * x + t1) = (n,t1)@
-- @x@ does not occur in @t1@
split_term :: Name -> Term -> (Integer,Term)
split_term x (Term m n) = (fromMaybe 0 c, Term m1 n)

0 comments on commit 338ba89

Please sign in to comment.