From 745e4bd40898d98d3fd26b14d331c11589bea06e Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Tue, 3 Jul 2018 18:51:52 +0200
Subject: [PATCH] Remove UniqueUserSubject

---
 models | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/models b/models
index 61bb54563..e275c273d 100644
--- a/models
+++ b/models
@@ -21,7 +21,7 @@ StudyFeatures
     field         StudyTermsId
     type          StudyFieldType
     semester      Int
-    UniqueUserSubject user degree field
+    -- UniqueUserSubject user degree field -- There exists a counterexample
 StudyDegree
     key           Int
     shorthand     Text Maybe