Skip to content

Commit

Permalink
Merge pull request #196 from BPDanek/patch-1
Browse files Browse the repository at this point in the history
punctuation change
  • Loading branch information
peti committed Jul 14, 2019
2 parents bb13853 + 21cd920 commit d6f8891
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/Properties.hs
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
import Test.QuickCheck

-- Our QC instances and properties.
-- Our QC instances and properties:
import Instances
import Properties.Delete
import Properties.Failure
Expand Down

0 comments on commit d6f8891

Please sign in to comment.