diff options
author | Alban Gruin | 2020-09-19 16:59:20 +0200 |
---|---|---|
committer | Alban Gruin | 2020-09-19 16:59:20 +0200 |
commit | 35c693e146746af36b251159eae96660c75b3c71 (patch) | |
tree | a71b89c9138036c850fa14d125ce54c9be761305 | |
parent | ec42f16b511df869e69f58cb1c757b1cc861a1a4 (diff) |
course: return the summary if there is no " - " in the event's full name
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
-rw-r--r-- | src/course.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/course.ml b/src/course.ml index d15b736..3280aa3 100644 --- a/src/course.ml +++ b/src/course.ml @@ -60,7 +60,7 @@ let location_and_summary str category = location, category else let summary = match Astring.String.cut ~sep:" - " summary with - | None -> str + | None -> summary | Some (_, str) -> str in location, summary ^ " (" ^ category ^ ")" |