diff options
| author | Alban Gruin | 2020-09-12 12:05:42 +0200 |
|---|---|---|
| committer | Alban Gruin | 2020-09-12 12:05:42 +0200 |
| commit | 216d0af10e49bd74a66aaad34475c5ef525e09b7 (patch) | |
| tree | da04f2ae42a444c423b5abce5722fe418f879b9a /src/course.ml | |
| parent | b6506d308a3b3e3bf585d3a5a79f58a766244bf5 (diff) | |
Remove unused functions and useless type specifications
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
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 |