From 3428887990734b10507389a2e93214abf17fab97 Mon Sep 17 00:00:00 2001 From: "Iavor S. Diatchki" Date: Sun, 26 Apr 2009 18:26:07 -0700 Subject: [PATCH] Make a haddock comment --- src/Data/Integer/Presburger/Prop.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Data/Integer/Presburger/Prop.hs b/src/Data/Integer/Presburger/Prop.hs index 2b1fe98..15a0ed1 100644 --- a/src/Data/Integer/Presburger/Prop.hs +++ b/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