Remove UniqueUserSubject

This commit is contained in:
Gregor Kleen 2018-07-03 18:51:52 +02:00
parent 828ad4f86f
commit 745e4bd408

2
models
View File

@ -21,7 +21,7 @@ StudyFeatures
field StudyTermsId field StudyTermsId
type StudyFieldType type StudyFieldType
semester Int semester Int
UniqueUserSubject user degree field -- UniqueUserSubject user degree field -- There exists a counterexample
StudyDegree StudyDegree
key Int key Int
shorthand Text Maybe shorthand Text Maybe