From a562fed8e0e22a7288577ae159c803c1c5f293d8 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Mon, 6 Aug 2018 22:24:10 +0200 Subject: [PATCH] Fix db.hs --- db.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/db.hs b/db.hs index 605bb3564..54f0466f4 100755 --- a/db.hs +++ b/db.hs @@ -69,7 +69,7 @@ fillDb = do , userEmail = "G.Kleen@campus.lmu.de" , userDisplayName = "Gregor Kleen" , userMaxFavourites = 6 - , userTheme = Default + , userTheme = ThemeDefault , userDateTimeFormat = userDefaultDateTimeFormat , userDateFormat = userDefaultDateFormat , userTimeFormat = userDefaultTimeFormat @@ -82,7 +82,7 @@ fillDb = do , userEmail = "felix.hamann@campus.lmu.de" , userDisplayName = "Felix Hamann" , userMaxFavourites = userDefaultMaxFavourites - , userTheme = Default + , userTheme = ThemeDefault , userDateTimeFormat = userDefaultDateTimeFormat , userDateFormat = userDefaultDateFormat , userTimeFormat = userDefaultTimeFormat @@ -95,7 +95,7 @@ fillDb = do , userEmail = "jost@tcs.ifi.lmu.de" , userDisplayName = "Steffen Jost" , userMaxFavourites = 14 - , userTheme = MossGreen + , userTheme = ThemeMossGreen , userDateTimeFormat = userDefaultDateTimeFormat , userDateFormat = userDefaultDateFormat , userTimeFormat = userDefaultTimeFormat @@ -108,7 +108,7 @@ fillDb = do , userEmail = "max@campus.lmu.de" , userDisplayName = "Max Musterstudent" , userMaxFavourites = 7 - , userTheme = AberdeenReds + , userTheme = ThemeAberdeenReds , userDateTimeFormat = userDefaultDateTimeFormat , userDateFormat = userDefaultDateFormat , userTimeFormat = userDefaultTimeFormat