From 5e887293d9da007980aa08fb8c4619198499309f Mon Sep 17 00:00:00 2001
From: Steffen Jost <jost@tcs.ifi.lmu.de>
Date: Fri, 27 Jan 2023 16:44:31 +0100
Subject: [PATCH] fix(build)

---
 test/ModelSpec.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/ModelSpec.hs b/test/ModelSpec.hs
index d3b8698e4..58220bdef 100644
--- a/test/ModelSpec.hs
+++ b/test/ModelSpec.hs
@@ -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