fix(build)

This commit is contained in:
Steffen Jost 2023-01-27 16:44:31 +01:00
parent 703a32033b
commit 5e887293d9

View File

@ -139,6 +139,7 @@ instance Arbitrary User where
userCompanyDepartment <- arbitrary
userPinPassword <- arbitrary
userPostAddress <- arbitrary -- TODO: not a good address
userPostLastUpdate <- arbitrary
userPrefersPostal <- arbitrary
userExamOfficeGetSynced <- arbitrary
userExamOfficeGetLabels <- arbitrary