punctuation change

This commit is contained in:
Benjamin Danek 2019-07-10 15:16:24 -07:00 committed by GitHub
parent bb13853929
commit 21cd920b61
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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