From 0ec73bf454b146ccb4c14a64890d0863ef6f2887 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Thu, 17 May 2018 14:17:32 +0200
Subject: [PATCH] CryptoUUIDUser

---
 src/CryptoID.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/CryptoID.hs b/src/CryptoID.hs
index 3720c461b..5eda0a941 100644
--- a/src/CryptoID.hs
+++ b/src/CryptoID.hs
@@ -40,6 +40,7 @@ decCryptoIDs [ ''SubmissionId
              , ''CourseId
              , ''SheetId
              , ''FileId
+             , ''UserId
              ]
 {- TODO: Do we need/want CryptoUUIDs for Sheet numbers? -}