diff options
Diffstat (limited to 'src/course.ml')
| -rw-r--r-- | src/course.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/course.ml b/src/course.ml index 9f16646..df5a27a 100644 --- a/src/course.ml +++ b/src/course.ml @@ -44,13 +44,13 @@ let location_and_summary str category = List.fold_right (fun str (has_groups, location, summary) -> if not has_groups then - (check_groups str, "", "") + check_groups str, "", "" else if location = "" then - (true, str, "") + true, str, "" else if summary = "" then - (true, str, location) + true, str, location else - (true, location, summary)) parts (false, "", "") in + true, location, summary) parts (false, "", "") in if summary = "" then location, category else @@ -98,5 +98,5 @@ let decode s = | "" -> `O [] | s -> Ezjsonm.from_string s in J.(destruct (list encoding) toks) - |> List.filter_map (fun (event: Ics.Event.t option) -> event) + |> List.filter_map (fun event -> event) |> Ics.make |