diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-12-20 17:07:56 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-12-20 17:07:56 +0000 |
| commit | 4ab0df67c5c5ae837e63b3c7285ef97058740778 (patch) | |
| tree | b69acfd816755cf0e672d8751125ce9b32099fbb /src/GF/Speech/RelationQC.hs | |
| parent | 3d80cf6bf92f8f17be0682d3de8bf241a52b1228 (diff) | |
Added newlines and ends of some files. This makes sed happy.
Diffstat (limited to 'src/GF/Speech/RelationQC.hs')
| -rw-r--r-- | src/GF/Speech/RelationQC.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Speech/RelationQC.hs b/src/GF/Speech/RelationQC.hs index 157a53462..47f783986 100644 --- a/src/GF/Speech/RelationQC.hs +++ b/src/GF/Speech/RelationQC.hs @@ -36,4 +36,4 @@ prop_reflexiveClosure_refl ps = isReflexive (reflexiveClosure (mkRel ps)) prop_mkEquiv_equiv :: [(Int,Int)] -> Bool prop_mkEquiv_equiv ps = isEquivalence (mkEquiv ps) - where mkEquiv = transitiveClosure . symmetricClosure . reflexiveClosure . mkRel
\ No newline at end of file + where mkEquiv = transitiveClosure . symmetricClosure . reflexiveClosure . mkRel |