Apply 1 suggestion(s) to 1 file(s)

This commit is contained in:
Sarah Vaupel 2020-08-17 11:08:10 +02:00
parent 7e14fef5c5
commit df18a6bea3

View File

@ -89,7 +89,7 @@ postECorrectR tid ssh csh examn = do
E.||. user E.^. UserMatrikelnummer E.==. E.val mUserIdent
E.||. user E.^. UserMatrikelnummer `E.hasInfix` E.val mUserIdent
Nothing -> E.val False)
E.limit $ maxCountUserMatches+1
E.limit $ succ maxCountUserMatches
return user
if