From 7ca5b87409b773944c488617fe3af8f13f9fe1d6 Mon Sep 17 00:00:00 2001
From: SJost <jost@tcs.ifi.lmu.de>
Date: Thu, 14 Mar 2019 20:19:42 +0100
Subject: [PATCH] fixbuild

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

diff --git a/models/terms b/models/terms
index 21d85a957..1ca1daae7 100644
--- a/models/terms
+++ b/models/terms
@@ -4,7 +4,7 @@
 Term json
     name          TermIdentifier -- unTermKey :: TermId -> TermIdentifier
     start         Day            -- TermKey   :: TermIdentifier -> TermId
-    end           Dayl
+    end           Day
     holidays      [Day]          -- LMU holidays, for display in timetables
     lectureStart  Day            -- lectures usually start/end  later/earlier than the actual term,
     lectureEnd    Day            -- used to generate warnings for lecturers creating unusual courses