Skip to content

Commit

Permalink
Improve wording in documentation.
Browse files Browse the repository at this point in the history
  • Loading branch information
davidlazar committed Jan 2, 2012
1 parent 510ec29 commit 4a6f90a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Foreign/Maude.hs
Expand Up @@ -92,7 +92,7 @@ data MaudeResult = MaudeResult
, statistics :: Text -- ^ Statistics printed by Maude.
} deriving (Show)

-- | The result of a Maude search.
-- | A single Maude search result.
data SearchResult = SearchResult
{ searchResultState :: Integer
, searchStatistics :: Text
Expand Down

0 comments on commit 4a6f90a

Please sign in to comment.