Skip to content
Browse files

Make a haddock comment

  • Loading branch information...
1 parent 2a10d5e commit 3428887990734b10507389a2e93214abf17fab97 @yav committed Apr 26, 2009
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/Data/Integer/Presburger/Prop.hs
View
2 src/Data/Integer/Presburger/Prop.hs
@@ -89,7 +89,7 @@ normal t p = case prop p of
--------------------------------------------------------------------------------
--- The meanings of atomic propositions
+-- | The meanings of atomic propositions
eval_prop :: Prop PosP -> Env -> Bool
eval_prop (Prop neg p) env = if neg then not res else res
where res = case p of

0 comments on commit 3428887

Please sign in to comment.
Something went wrong with that request. Please try again.