Merge branch 'master' of gitlab.cip.ifi.lmu.de:jost/UniWorX

2018-07-03 18:52:41 +02:00 · 2018-07-03 18:52:41 +02:00 · c259615dc4
commit c259615dc4
parent 58010fec3b 745e4bd408
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -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